Quot/Nominal/Test.thy
Wed, 24 Feb 2010 09:56:12 +0100 Christian Urban parsing of function definitions almost works now; still an error with undefined constants
Tue, 23 Feb 2010 16:31:40 +0100 Christian Urban declarartion of the raw datatype already works; raw binding functions throw an exception about mutual recursive types
less more (0) -10 -2 tip