rm old tutorials

12 files changed, 0 insertions, 71 deletions

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" ;
-    }