updating VP versions

This commit is contained in:
aarne
2005-11-13 19:24:10 +00:00
parent c2fb1e938e
commit f0b22f18f1
6 changed files with 115 additions and 1370 deletions

View File

@@ -1,8 +1,6 @@
--# -path=.:../abstract:../../prelude
--# -opt
concrete ClauseEng of Clause = CategoriesEng **
---- ClausePredI with (Predic = PredicEng) ; {-
open Prelude, SyntaxEng in {