1 files changed, 0 insertions, 34 deletions
diff --git a/examples/jem-math/Math.gf b/examples/jem-math/Math.gf
deleted file mode 100644
index b4e1cb2c2..000000000
--- a/examples/jem-math/Math.gf
+++ /dev/null
@@ -1,34 +0,0 @@
-abstract Math = {
-
-flags startcat = Prop ;
-
-cat 
-  Prop ; Exp ;
-
-fun
-  And, Or, If : Prop -> Prop -> Prop ;
-
-  Zero : Exp ;
-
-  Successor : Exp -> Exp ;
-
-  Sum, Product : Exp -> Exp -> Exp ;
-
-  Even, Odd, Prime : Exp -> Prop ;
-  
-  Equal, Less, Greater, Divisible : Exp -> Exp -> Prop ;
-
-cat 
-  Var ;
-
-fun
-  X, Y : Var ;
-
-  EVar : Var -> Exp ;
-
-  EInt : Int -> Exp ;
-
-  ANumberVar : Var -> Exp ;
-  TheNumberVar : Var -> Exp ;
-
-}