Nominal/Parser.thy
2010-02-25 Christian Urban a few simplifications
2010-02-25 Christian Urban added IsaMakefile...but so far included only a test for the parser
less more (0) tip