1 files changed, 0 insertions, 12 deletions
diff --git a/examples/mathtext/Geometry.gf b/examples/mathtext/Geometry.gf
deleted file mode 100644
index c43654b9b..000000000
--- a/examples/mathtext/Geometry.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-abstract Geometry = Logic ** {
-fun
-  Line, Point, Circle : Dom ;
-  Intersect, Parallel : Ind -> Ind -> Atom ;
-  Vertical : Ind -> Atom ;
-  Centre : Ind -> Ind ;
-
-  Horizontal : Pred1 ;
-  Diverge : Pred1 ;
-
-  Contain : Pred2 ;
-}