improved final-resource

2006-06-13 14:40:12 +00:00
parent 876c3389d2
commit faeb1125a3
14 changed files with 351 additions and 216 deletions
--- a/doc/tutorial/music/MusicEng.gf
+++ b/doc/tutorial/music/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)))) ;
+    }