This commit is contained in:
aarne
2005-07-01 19:56:41 +00:00
parent 9099f118f7
commit 3df03144b9

View File

@@ -0,0 +1,3 @@
--# -path=.:../abstract:../../prelude
concrete ResourceFin of Resource = RulesFin, ClauseFin, StructuralFin ** {} ;