1
0
forked from GitHub/gf-rgl

clean up Resource

This commit is contained in:
aarne
2005-02-17 21:49:09 +00:00
parent 6be0d90257
commit f868e4279b
8 changed files with 13 additions and 18 deletions

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../../prelude
instance ResourceEng of Resource = reuse AllResourceEng ;
concrete ResourceEng of Resource = RulesEng, ClauseEng, StructuralEng ** {} ;