1
0
forked from GitHub/gf-rgl
This commit is contained in:
aarne
2005-07-01 19:56:41 +00:00
parent 4111b7b154
commit f55f5f06c5

View File

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