1
0
forked from GitHub/gf-rgl

updating VP versions

This commit is contained in:
aarne
2005-11-13 19:24:10 +00:00
parent 1834f005e4
commit a40f188e2c
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 {