From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/mathtext/Logic.gf | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 examples/mathtext/Logic.gf (limited to 'examples/mathtext/Logic.gf') diff --git a/examples/mathtext/Logic.gf b/examples/mathtext/Logic.gf deleted file mode 100644 index 161660154..000000000 --- a/examples/mathtext/Logic.gf +++ /dev/null @@ -1,24 +0,0 @@ -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 ; -} -- cgit v1.2.3