This commit is contained in:
aarne
2005-10-11 15:03:44 +00:00
parent 0d33fd98e0
commit cbcac43e31
5 changed files with 112 additions and 0 deletions

View File

@@ -0,0 +1,9 @@
--# -path=.:../abstract:../../prelude
concrete TestEng of Test =
RulesEng,
ClauseEng,
StructuralEng,
MinimalEng
** {
} ;