From 032531c6a690edbb377ff11ee2a743a30c5bf500 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 27 Jun 2008 11:27:40 +0000
Subject: rm old tutorials

---
 doc/tutorial/arithm/ArithmI.gf | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 doc/tutorial/arithm/ArithmI.gf

(limited to 'doc/tutorial/arithm/ArithmI.gf')

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) ;
-
-}
-- 
cgit v1.2.3