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/ArithmEng.gf | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 doc/tutorial/arithm/ArithmEng.gf

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

diff --git a/doc/tutorial/arithm/ArithmEng.gf b/doc/tutorial/arithm/ArithmEng.gf
deleted file mode 100644
index 5d2cd966d..000000000
--- a/doc/tutorial/arithm/ArithmEng.gf
+++ /dev/null
@@ -1,27 +0,0 @@
---# -path=.:alltenses:prelude
-
-concrete ArithmEng of Arithm = ArithmI with
-  (Lang = LangEng),
-  (Lex = LexEng) ;
-
-{-
-
-concrete ArithmEng of Arithm = open LangEng, ParadigmsEng in {
-
-  lincat
-    Prop = S ;
-    Nat  = NP ;
-
-  lin
-    Zero = 
-      UsePN (regPN "zero" nonhuman) ;
-    Succ n = 
-      DetCN (DetSg (SgQuant DefArt) NoOrd) (ComplN2 (regN2 "successor") n) ;
-    Even n = 
-      UseCl TPres ASimul PPos 
-        (PredVP n (UseComp (CompAP (PositA (regA "even"))))) ;
-    And x y = 
-      ConjS and_Conj (BaseS x y) ;
-
-}
--}
-- 
cgit v1.2.3