mathtext examples from Bonn

1 files changed, 24 insertions, 0 deletions

diff --git a/examples/mathtext/Logic.gf b/examples/mathtext/Logic.gf
new file mode 100644
index 000000000..161660154
--- /dev/null
+++ b/examples/mathtext/Logic.gf
@@ -0,0 +1,24 @@
+abstract Logic = Symbols ** {
+
+-- flags startcat = Prop ;
+
+cat
+  Prop ; Atom ; Ind ; Dom ; Var ; [Prop] {2} ; [Var] {1} ;
+fun
+  And, Or : [Prop] -> Prop ;
+  If, Iff : Prop -> Prop -> Prop ;
+  Not : Prop -> Prop ;
+  All, Exist : [Var] -> Dom -> Prop -> Prop ;
+  PAtom : Atom -> Prop ;
+  NAtom : Atom -> Prop ;
+  MkVar : String -> Var ;
+
+  PExp : Exp -> Prop ;
+  IExp : Exp -> Ind ;
+
+cat
+  Pred1 ; Pred2 ;
+fun 
+  PredPred1 : Pred1 -> Ind -> Atom ; 
+  PredPred2 : Pred2 -> Ind -> Ind -> Atom ; 
+}