overloaded resource doc examples

This commit is contained in:
aarne
2007-06-19 18:07:18 +00:00
parent 137c1be3d8
commit 1a649a6a1d
12 changed files with 0 additions and 0 deletions

View File

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