1 files changed, 0 insertions, 20 deletions
diff --git a/doc/tutorial/arithm/ArithmI.gf b/doc/tutorial/arithm/ArithmI.gf
deleted file mode 100644
index f41b57fa6..000000000
--- a/doc/tutorial/arithm/ArithmI.gf
+++ /dev/null
@@ -1,20 +0,0 @@
---# -path=.:alltenses:prelude
-
-incomplete concrete ArithmI of Arithm = open Lang, Lex in {
-
-  lincat
-    Prop = S ;
-    Nat  = NP ;
-
-  lin
-    Zero = 
-      UsePN zero_PN ;
-    Succ n = 
-      DetCN (DetSg (SgQuant DefArt) NoOrd) (ComplN2 successor_N2 n) ;
-    Even n = 
-      UseCl TPres ASimul PPos 
-        (PredVP n (UseComp (CompAP (PositA even_A)))) ;
-    And x y = 
-      ConjS and_Conj (BaseS x y) ;
-
-}