nominal2: File revisions

Nominal/Test.thy

Mon, 01 Mar 2010 19:23:08 +0100	Christian Urban	modified for new binding format - hope it is the intended one	file \| diff \| annotate
Mon, 01 Mar 2010 14:26:14 +0100	Christian Urban	slight simplification of the raw-decl generation	file \| diff \| annotate
Mon, 01 Mar 2010 07:46:50 +0100	Christian Urban	added example from my phd	file \| diff \| annotate
Sat, 27 Feb 2010 11:54:59 +0100	Christian Urban	streamlined parser	file \| diff \| annotate
Fri, 26 Feb 2010 18:38:25 +0100	Christian Urban	generated the "binding list" from the input; at the moment it is only printed out as tracing; does not yet include the "bind itself binders"	file \| diff \| annotate
Thu, 25 Feb 2010 14:20:10 +0100	Christian Urban	added ott-example about Leroy96	file \| diff \| annotate
Thu, 25 Feb 2010 11:30:00 +0100	Christian Urban	first attempt to make sense out of the core-haskell definition	file \| diff \| annotate
Thu, 25 Feb 2010 08:40:52 +0100	Christian Urban	added IsaMakefile...but so far included only a test for the parser	file \| diff \| annotate

nominal2