1 files changed, 0 insertions, 45 deletions
diff --git a/examples/mathtext/MathText.gf b/examples/mathtext/MathText.gf
deleted file mode 100644
index 88357e67e..000000000
--- a/examples/mathtext/MathText.gf
+++ /dev/null
@@ -1,45 +0,0 @@
-abstract MathText = Logic ** {
-
-flags startcat = Book ;
-
-cat
-  Book ;
-  Section ;
-  [Section] {1} ;
-  Paragraph ;
-  [Paragraph] {1} ;
-  Statement ;
-  Declaration ;
-  [Declaration] {0} ;
-  Ident ;
-  Proof ;
-  Case ;
-  [Case] {2} ;
-  Number ;
- 
-fun
-  MkBook : [Section] -> Book ;
-  
-  ParAxiom   : Ident -> Statement -> Section ;
-  ParTheorem : Ident -> Statement -> Proof -> Section ;
-
-  ParDefInd   : [Declaration] -> Ind -> Ind -> Section ;
-  ParDefPred1 : [Declaration] -> Ind -> Pred1 -> Prop -> Section ;
-  ParDefPred2 : [Declaration] -> Ind -> Pred2 -> Ind -> Prop -> Section ;
-
-  StProp : [Declaration] -> Prop -> Statement ;
-
-  DecVar  : [Var] -> Dom -> Declaration ;
-  DecProp : Prop -> Declaration ;
-
-  PrEnd  : Proof ;
-  PrStep : Statement -> Proof -> Proof ;
-  PrBy   : Ident -> Prop -> Proof -> Proof ;
-  PrCase : Number -> [Case] -> Proof ;
-  CProof : Ident -> Proof -> Case ;
-
-  IdStr  : String -> Ident ;
-
-  Two, Three, Four, Five : Number ;
-
-}