updated resource example

This commit is contained in:
aarne
2005-05-22 11:55:53 +00:00
parent 52b81f08a8
commit 60427e170c
14 changed files with 101 additions and 90 deletions

View File

@@ -1,3 +1,3 @@
--# -path=.:../romance:../abstract:../../prelude
instance ResourceSpa of Resource = reuse AllResourceSpa ;
concrete ResourceSpa of Resource = RulesSpa, ClauseSpa, StructuralSpa ** {} ;