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
Tue, 28 Sep 2010 05:56:11 -0400 Christian Urban added Foo1 to explore a contrived example
Wed, 22 Sep 2010 18:13:26 +0200 Christian Urban fixed
less more (0) -10 -3 tip