Nominal/Test.thy
2010-02-25 Christian Urban added ott-example about Leroy96
2010-02-25 Christian Urban first attempt to make sense out of the core-haskell definition
2010-02-25 Christian Urban added IsaMakefile...but so far included only a test for the parser
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip