7 files changed, 0 insertions, 109 deletions
diff --git a/doc/tutorial/arithm/Arithm.gf b/doc/tutorial/arithm/Arithm.gf
deleted file mode 100644
index 00d6b4780..000000000
--- a/doc/tutorial/arithm/Arithm.gf
+++ /dev/null
@@ -1,13 +0,0 @@
-abstract Arithm = {
-
-  cat
-    Prop ;
-    Nat ;
-
-  fun
-    Zero : Nat ;
-    Succ : Nat -> Nat ;
-    Even : Nat -> Prop ;
-    And  : Prop -> Prop -> Prop ;
-
-}
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) ;
-
-}
--}
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) ;
-
-}
diff --git a/doc/tutorial/arithm/ArithmSwe.gf b/doc/tutorial/arithm/ArithmSwe.gf
deleted file mode 100644
index 070dcc280..000000000
--- a/doc/tutorial/arithm/ArithmSwe.gf
+++ /dev/null
@@ -1,29 +0,0 @@
---# -path=.:alltenses:prelude
-
-
-concrete ArithmSwe of Arithm = ArithmI with
-  (Lang = LangSwe),
-  (Lex = LexSwe) ;
-
-{-
-concrete ArithmSwe of Arithm = open LangSwe, ParadigmsSwe in {
-
-  lincat
-    Prop = S ;
-    Nat  = NP ;
-
-  lin
-    Zero = 
-      UsePN (regPN "noll" neutrum) ;
-    Succ n = 
-      DetCN (DetSg (SgQuant DefArt) NoOrd) 
-        (ComplN2 (mkN2 (mk2N "efterföljare" "efterföljare") 
-           (mkPreposition "till")) n) ;
-    Even n = 
-      UseCl TPres ASimul PPos 
-        (PredVP n (UseComp (CompAP (PositA (regA "jämn"))))) ;
-    And x y = 
-      ConjS and_Conj (BaseS x y) ;
-
-}
--}
-\ No newline at end of file
diff --git a/doc/tutorial/arithm/Lex.gf b/doc/tutorial/arithm/Lex.gf
deleted file mode 100644
index bfc725772..000000000
--- a/doc/tutorial/arithm/Lex.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-abstract Lex = Cat ** {
-  fun
-    zero_PN : PN ;
-    successor_N2 : N2 ;  
-    even_A : A ;
-}
diff --git a/doc/tutorial/arithm/LexEng.gf b/doc/tutorial/arithm/LexEng.gf
deleted file mode 100644
index 50a2a99df..000000000
--- a/doc/tutorial/arithm/LexEng.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-concrete LexEng of Lex = CatEng ** open ParadigmsEng in {
-  lin 
-    zero_PN = regPN "zero" nonhuman ;
-    successor_N2 = regN2 "successor" ;
-    even_A = regA "even" ;
-}
diff --git a/doc/tutorial/arithm/LexSwe.gf b/doc/tutorial/arithm/LexSwe.gf
deleted file mode 100644
index 54d66b6e9..000000000
--- a/doc/tutorial/arithm/LexSwe.gf
+++ /dev/null
@@ -1,8 +0,0 @@
-concrete LexSwe of Lex = CatSwe ** open ParadigmsSwe in {
-  lin 
-    zero_PN = regPN "noll" neutrum ;
-    successor_N2 = 
-      mkN2 (mk2N "efterföljare" "efterföljare") (mkPreposition "till") ;
-    even_A = regA "jämn" ;
-
-}