From 6a926ee3fc74c5d953d669356d5adfc47e46bbbd Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 19 Jun 2007 18:07:18 +0000
Subject: overloaded resource doc examples

---
 doc/tutorial/music/Music.gf           | 9 ---------
 doc/tutorial/music/MusicEng.gf        | 7 -------
 doc/tutorial/music/MusicEng0.gf       | 3 ---
 doc/tutorial/music/MusicFin.gf        | 5 -----
 doc/tutorial/music/MusicFre.gf        | 6 ------
 doc/tutorial/music/MusicGer.gf        | 6 ------
 doc/tutorial/music/MusicI.gf          | 9 ---------
 doc/tutorial/music/MusicLex.gf        | 5 -----
 doc/tutorial/music/MusicLexEng.gf     | 5 -----
 doc/tutorial/music/MusicLexFin.gf     | 6 ------
 doc/tutorial/music/MusicLexFre.gf     | 5 -----
 doc/tutorial/music/MusicLexGer.gf     | 5 -----
 doc/tutorial/music/old/Music.gf       | 9 +++++++++
 doc/tutorial/music/old/MusicEng.gf    | 7 +++++++
 doc/tutorial/music/old/MusicEng0.gf   | 3 +++
 doc/tutorial/music/old/MusicFin.gf    | 5 +++++
 doc/tutorial/music/old/MusicFre.gf    | 6 ++++++
 doc/tutorial/music/old/MusicGer.gf    | 6 ++++++
 doc/tutorial/music/old/MusicI.gf      | 9 +++++++++
 doc/tutorial/music/old/MusicLex.gf    | 5 +++++
 doc/tutorial/music/old/MusicLexEng.gf | 5 +++++
 doc/tutorial/music/old/MusicLexFin.gf | 6 ++++++
 doc/tutorial/music/old/MusicLexFre.gf | 5 +++++
 doc/tutorial/music/old/MusicLexGer.gf | 5 +++++
 24 files changed, 71 insertions(+), 71 deletions(-)
 delete mode 100644 doc/tutorial/music/Music.gf
 delete mode 100644 doc/tutorial/music/MusicEng.gf
 delete mode 100644 doc/tutorial/music/MusicEng0.gf
 delete mode 100644 doc/tutorial/music/MusicFin.gf
 delete mode 100644 doc/tutorial/music/MusicFre.gf
 delete mode 100644 doc/tutorial/music/MusicGer.gf
 delete mode 100644 doc/tutorial/music/MusicI.gf
 delete mode 100644 doc/tutorial/music/MusicLex.gf
 delete mode 100644 doc/tutorial/music/MusicLexEng.gf
 delete mode 100644 doc/tutorial/music/MusicLexFin.gf
 delete mode 100644 doc/tutorial/music/MusicLexFre.gf
 delete mode 100644 doc/tutorial/music/MusicLexGer.gf
 create mode 100644 doc/tutorial/music/old/Music.gf
 create mode 100644 doc/tutorial/music/old/MusicEng.gf
 create mode 100644 doc/tutorial/music/old/MusicEng0.gf
 create mode 100644 doc/tutorial/music/old/MusicFin.gf
 create mode 100644 doc/tutorial/music/old/MusicFre.gf
 create mode 100644 doc/tutorial/music/old/MusicGer.gf
 create mode 100644 doc/tutorial/music/old/MusicI.gf
 create mode 100644 doc/tutorial/music/old/MusicLex.gf
 create mode 100644 doc/tutorial/music/old/MusicLexEng.gf
 create mode 100644 doc/tutorial/music/old/MusicLexFin.gf
 create mode 100644 doc/tutorial/music/old/MusicLexFre.gf
 create mode 100644 doc/tutorial/music/old/MusicLexGer.gf

diff --git a/doc/tutorial/music/Music.gf b/doc/tutorial/music/Music.gf
deleted file mode 100644
index e662bc70e..000000000
--- a/doc/tutorial/music/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/MusicEng.gf b/doc/tutorial/music/MusicEng.gf
deleted file mode 100644
index 1339ab757..000000000
--- a/doc/tutorial/music/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/MusicEng0.gf b/doc/tutorial/music/MusicEng0.gf
deleted file mode 100644
index 2d9ae53b3..000000000
--- a/doc/tutorial/music/MusicEng0.gf
+++ /dev/null
@@ -1,3 +0,0 @@
-  concrete MusicEng0 of Music = MusicI with
-    (Grammar = GrammarEng),
-    (MusicLex = MusicLexEng) ;
diff --git a/doc/tutorial/music/MusicFin.gf b/doc/tutorial/music/MusicFin.gf
deleted file mode 100644
index 1778446a6..000000000
--- a/doc/tutorial/music/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/MusicFre.gf b/doc/tutorial/music/MusicFre.gf
deleted file mode 100644
index 4992589ef..000000000
--- a/doc/tutorial/music/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/MusicGer.gf b/doc/tutorial/music/MusicGer.gf
deleted file mode 100644
index eaf22f287..000000000
--- a/doc/tutorial/music/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/MusicI.gf b/doc/tutorial/music/MusicI.gf
deleted file mode 100644
index a831fd7e6..000000000
--- a/doc/tutorial/music/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/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 3d90e8f37..000000000
--- a/doc/tutorial/music/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/MusicLexFin.gf b/doc/tutorial/music/MusicLexFin.gf
deleted file mode 100644
index eb6ba7ef0..000000000
--- a/doc/tutorial/music/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/MusicLexFre.gf b/doc/tutorial/music/MusicLexFre.gf
deleted file mode 100644
index 31efbc728..000000000
--- a/doc/tutorial/music/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/MusicLexGer.gf b/doc/tutorial/music/MusicLexGer.gf
deleted file mode 100644
index 52e16bc0c..000000000
--- a/doc/tutorial/music/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" ;
-    }
diff --git a/doc/tutorial/music/old/Music.gf b/doc/tutorial/music/old/Music.gf
new file mode 100644
index 000000000..e662bc70e
--- /dev/null
+++ b/doc/tutorial/music/old/Music.gf
@@ -0,0 +1,9 @@
+  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
new file mode 100644
index 000000000..1339ab757
--- /dev/null
+++ b/doc/tutorial/music/old/MusicEng.gf
@@ -0,0 +1,7 @@
+--# -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
new file mode 100644
index 000000000..2d9ae53b3
--- /dev/null
+++ b/doc/tutorial/music/old/MusicEng0.gf
@@ -0,0 +1,3 @@
+  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
new file mode 100644
index 000000000..1778446a6
--- /dev/null
+++ b/doc/tutorial/music/old/MusicFin.gf
@@ -0,0 +1,5 @@
+--# -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
new file mode 100644
index 000000000..4992589ef
--- /dev/null
+++ b/doc/tutorial/music/old/MusicFre.gf
@@ -0,0 +1,6 @@
+--# -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
new file mode 100644
index 000000000..eaf22f287
--- /dev/null
+++ b/doc/tutorial/music/old/MusicGer.gf
@@ -0,0 +1,6 @@
+--# -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
new file mode 100644
index 000000000..a831fd7e6
--- /dev/null
+++ b/doc/tutorial/music/old/MusicI.gf
@@ -0,0 +1,9 @@
+  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
new file mode 100644
index 000000000..87a670698
--- /dev/null
+++ b/doc/tutorial/music/old/MusicLex.gf
@@ -0,0 +1,5 @@
+  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
new file mode 100644
index 000000000..3d90e8f37
--- /dev/null
+++ b/doc/tutorial/music/old/MusicLexEng.gf
@@ -0,0 +1,5 @@
+  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
new file mode 100644
index 000000000..eb6ba7ef0
--- /dev/null
+++ b/doc/tutorial/music/old/MusicLexFin.gf
@@ -0,0 +1,6 @@
+  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
new file mode 100644
index 000000000..31efbc728
--- /dev/null
+++ b/doc/tutorial/music/old/MusicLexFre.gf
@@ -0,0 +1,5 @@
+  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
new file mode 100644
index 000000000..52e16bc0c
--- /dev/null
+++ b/doc/tutorial/music/old/MusicLexGer.gf
@@ -0,0 +1,5 @@
+  concrete MusicLexGer of MusicLex = CatGer ** open ParadigmsGer in {
+    lin
+      song_N = reg2N "Lied" "Lieder" neuter ;
+      american_A = regA "amerikanisch" ;
+    }
-- 
cgit v1.2.3