Nominal/ROOT.ML
Sat, 06 Nov 2010 06:18:41 +0000 Christian Urban added a test about subtyping; disabled two tests, because of problem with function package
less more (0) -10 -1 tip