Nominal/Test.thy
Thu, 25 Feb 2010 11:30:00 +0100 Christian Urban first attempt to make sense out of the core-haskell definition
Thu, 25 Feb 2010 08:40:52 +0100 Christian Urban added IsaMakefile...but so far included only a test for the parser
less more (0) tip