overloaded resource doc examples

2007-06-19 18:07:18 +00:00
parent 05d12d86fe
commit 6a926ee3fc
12 changed files with 0 additions and 0 deletions
--- a/doc/tutorial/music/old/MusicLexEng.gf
+++ 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" ;
+    }