rm old tutorials

23 files changed, 0 insertions, 149 deletions

diff --git a/doc/tutorial/music/Music.gf b/doc/tutorial/music/Music.gf
deleted file mode 100644
index 23defb7a6..000000000
--- a/doc/tutorial/music/Music.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-  abstract Music = {
-
-    flags startcat=Kind ;
-
-    cat 
-      Kind ;
-      Property ;
-    fun 
-      PropKind : Kind -> Property -> Kind ; 
-      Song : Kind ;
-      American : Property ;
-}
\ No newline at end of file
diff --git a/doc/tutorial/music/MusicEng.gf b/doc/tutorial/music/MusicEng.gf
deleted file mode 100644
index 60f7b31d4..000000000
--- a/doc/tutorial/music/MusicEng.gf
+++ /dev/null
@@ -1,11 +0,0 @@
---# -path=.:present:api:prelude
-
-  concrete MusicEng of Music = 
-    MusicI - [PropKind] 
-      with
-        (Syntax = SyntaxEng),
-        (MusicLex = MusicLexEng) ** 
-    open SyntaxEng in {
-  lin
-    PropKind k p = mkCN k (mkRS (mkRCl which_RP (mkVP p))) ;
-  }
diff --git a/doc/tutorial/music/MusicFin.gf b/doc/tutorial/music/MusicFin.gf
deleted file mode 100644
index 2ced47d78..000000000
--- a/doc/tutorial/music/MusicFin.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-  concrete MusicFin of Music = MusicI with
-    (Syntax = SyntaxFin),
-    (MusicLex = MusicLexFin) ;
diff --git a/doc/tutorial/music/MusicFre.gf b/doc/tutorial/music/MusicFre.gf
deleted file mode 100644
index 69e85a119..000000000
--- a/doc/tutorial/music/MusicFre.gf
+++ /dev/null
@@ -1,6 +0,0 @@
---# -path=.:present:prelude
-
-
-  concrete MusicFre of Music = MusicI with
-    (Syntax = SyntaxFre),
-    (MusicLex = MusicLexFre) ;
diff --git a/doc/tutorial/music/MusicGer.gf b/doc/tutorial/music/MusicGer.gf
deleted file mode 100644
index 75621a25a..000000000
--- a/doc/tutorial/music/MusicGer.gf
+++ /dev/null
@@ -1,6 +0,0 @@
---# -path=.:present:api:prelude
-
-  concrete MusicGer of Music = MusicI with
-    (Syntax = SyntaxGer),
-    (MusicLex = MusicLexGer) ;
-
diff --git a/doc/tutorial/music/MusicI.gf b/doc/tutorial/music/MusicI.gf
deleted file mode 100644
index 54a6a6c37..000000000
--- a/doc/tutorial/music/MusicI.gf
+++ /dev/null
@@ -1,9 +0,0 @@
-  incomplete concrete MusicI of Music = open Syntax, MusicLex in {
-    lincat 
-      Kind = CN ;
-      Property = AP ;
-    lin
-      PropKind k p = mkCN p k ;
-      Song = mkCN song_N ;
-      American = mkAP american_A ;
-    }
diff --git a/doc/tutorial/music/MusicLex.gf b/doc/tutorial/music/MusicLex.gf
deleted file mode 100644
index 87a670698..000000000
--- a/doc/tutorial/music/MusicLex.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-  abstract MusicLex = Cat ** {
-    fun
-      song_N : N ;
-      american_A : A ;
-    }
diff --git a/doc/tutorial/music/MusicLexEng.gf b/doc/tutorial/music/MusicLexEng.gf
deleted file mode 100644
index 8aef6b6c5..000000000
--- a/doc/tutorial/music/MusicLexEng.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-  concrete MusicLexEng of MusicLex = CatEng ** open ParadigmsEng in {
-    lin
-      song_N = mkN "song" "songs" ;
-      american_A = mkA "American" ;
-    }
\ No newline at end of file
diff --git a/doc/tutorial/music/MusicLexFin.gf b/doc/tutorial/music/MusicLexFin.gf
deleted file mode 100644
index 4e438092e..000000000
--- a/doc/tutorial/music/MusicLexFin.gf
+++ /dev/null
@@ -1,7 +0,0 @@
-  concrete MusicLexFin of MusicLex = 
-     CatFin ** open ParadigmsFin in {
-  lin
-    song_N = mkN "kappale" ;
-    american_A = mkA "amerikkalainen" ;
-  }
-
diff --git a/doc/tutorial/music/MusicLexFre.gf b/doc/tutorial/music/MusicLexFre.gf
deleted file mode 100644
index e09368a5c..000000000
--- a/doc/tutorial/music/MusicLexFre.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-  concrete MusicLexFre of MusicLex = CatFre ** open ParadigmsFre in {
-    
-  lin
-    song_N = mkN "chanson" feminine ;
-    american_A = mkA "américain" ;
-  }
diff --git a/doc/tutorial/music/MusicLexGer.gf b/doc/tutorial/music/MusicLexGer.gf
deleted file mode 100644
index 8d0974a77..000000000
--- a/doc/tutorial/music/MusicLexGer.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-  concrete MusicLexGer of MusicLex = 
-     CatGer ** open ParadigmsGer in {
-  lin
-    song_N = mkN "Lied" "Lieder" neuter ;
-    american_A = mkA "amerikanisch" ;
-  }
diff --git a/doc/tutorial/music/old/Music.gf b/doc/tutorial/music/old/Music.gf
deleted file mode 100644
index e662bc70e..000000000
--- a/doc/tutorial/music/old/Music.gf
+++ /dev/null
@@ -1,9 +0,0 @@
-  abstract Music = {
-    cat 
-      Kind ;
-      Property ;
-    fun 
-      PropKind : Kind -> Property -> Kind ; 
-      Song : Kind ;
-      American : Property ;
-}
\ No newline at end of file
diff --git a/doc/tutorial/music/old/MusicEng.gf b/doc/tutorial/music/old/MusicEng.gf
deleted file mode 100644
index 1339ab757..000000000
--- a/doc/tutorial/music/old/MusicEng.gf
+++ /dev/null
@@ -1,7 +0,0 @@
---# -path=.:present:prelude
-
-  concrete MusicEng of Music = MusicEng0 - [PropKind] ** open GrammarEng in {
-    lin
-      PropKind k p = 
-        RelCN k (UseRCl TPres ASimul PPos (RelVP IdRP (UseComp (CompAP p)))) ;
-    }
diff --git a/doc/tutorial/music/old/MusicEng0.gf b/doc/tutorial/music/old/MusicEng0.gf
deleted file mode 100644
index 2d9ae53b3..000000000
--- a/doc/tutorial/music/old/MusicEng0.gf
+++ /dev/null
@@ -1,3 +0,0 @@
-  concrete MusicEng0 of Music = MusicI with
-    (Grammar = GrammarEng),
-    (MusicLex = MusicLexEng) ;
diff --git a/doc/tutorial/music/old/MusicFin.gf b/doc/tutorial/music/old/MusicFin.gf
deleted file mode 100644
index 1778446a6..000000000
--- a/doc/tutorial/music/old/MusicFin.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-  concrete MusicFin of Music = MusicI with
-    (Grammar = GrammarFin),
-    (MusicLex = MusicLexFin) ;
diff --git a/doc/tutorial/music/old/MusicFre.gf b/doc/tutorial/music/old/MusicFre.gf
deleted file mode 100644
index 4992589ef..000000000
--- a/doc/tutorial/music/old/MusicFre.gf
+++ /dev/null
@@ -1,6 +0,0 @@
---# -path=.:present:prelude
-
-
-  concrete MusicFre of Music = MusicI with
-    (Grammar = GrammarFre),
-    (MusicLex = MusicLexFre) ;
diff --git a/doc/tutorial/music/old/MusicGer.gf b/doc/tutorial/music/old/MusicGer.gf
deleted file mode 100644
index eaf22f287..000000000
--- a/doc/tutorial/music/old/MusicGer.gf
+++ /dev/null
@@ -1,6 +0,0 @@
---# -path=.:present:prelude
-
-  concrete MusicGer of Music = MusicI with
-    (Grammar = GrammarGer),
-    (MusicLex = MusicLexGer) ;
-
diff --git a/doc/tutorial/music/old/MusicI.gf b/doc/tutorial/music/old/MusicI.gf
deleted file mode 100644
index a831fd7e6..000000000
--- a/doc/tutorial/music/old/MusicI.gf
+++ /dev/null
@@ -1,9 +0,0 @@
-  incomplete concrete MusicI of Music = open Grammar, MusicLex in {
-    lincat 
-      Kind = CN ;
-      Property = AP ;
-    lin
-      PropKind k p = AdjCN p k ;
-      Song = UseN song_N ;
-      American = PositA american_A ;
-    }
\ No newline at end of file
diff --git a/doc/tutorial/music/old/MusicLex.gf b/doc/tutorial/music/old/MusicLex.gf
deleted file mode 100644
index 87a670698..000000000
--- a/doc/tutorial/music/old/MusicLex.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-  abstract MusicLex = Cat ** {
-    fun
-      song_N : N ;
-      american_A : A ;
-    }
diff --git a/doc/tutorial/music/old/MusicLexEng.gf b/doc/tutorial/music/old/MusicLexEng.gf
deleted file mode 100644
index 3d90e8f37..000000000
--- a/doc/tutorial/music/old/MusicLexEng.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-  concrete MusicLexEng of MusicLex = CatEng ** open ParadigmsEng in {
-    lin
-      song_N = regN "song" ;
-      american_A = regA "American" ;
-    }
\ No newline at end of file
diff --git a/doc/tutorial/music/old/MusicLexFin.gf b/doc/tutorial/music/old/MusicLexFin.gf
deleted file mode 100644
index eb6ba7ef0..000000000
--- a/doc/tutorial/music/old/MusicLexFin.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-  concrete MusicLexFin of MusicLex = CatFin ** open ParadigmsFin in {
-    lin
-      song_N = regN "kappale" ;
-      american_A = regA "amerikkalainen" ;
-    }
-
diff --git a/doc/tutorial/music/old/MusicLexFre.gf b/doc/tutorial/music/old/MusicLexFre.gf
deleted file mode 100644
index 31efbc728..000000000
--- a/doc/tutorial/music/old/MusicLexFre.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-  concrete MusicLexFre of MusicLex = CatFre ** open ParadigmsFre in {
-    lin
-      song_N = regGenN "chanson" feminine ;
-      american_A = regA "américain" ;
-    }
diff --git a/doc/tutorial/music/old/MusicLexGer.gf b/doc/tutorial/music/old/MusicLexGer.gf
deleted file mode 100644
index 52e16bc0c..000000000
--- a/doc/tutorial/music/old/MusicLexGer.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-  concrete MusicLexGer of MusicLex = CatGer ** open ParadigmsGer in {
-    lin
-      song_N = reg2N "Lied" "Lieder" neuter ;
-      american_A = regA "amerikanisch" ;
-    }