nominal2: File revisions

Nominal/Nominal2.thy

Wed, 10 Nov 2010 13:46:21 +0000	Christian Urban	adapted to changes by Florian on the quotient package and removed local fix for function package	file \| diff \| annotate
Wed, 29 Sep 2010 09:47:26 -0400	Christian Urban	worked example Foo1 with induct_schema	file \| diff \| annotate
Mon, 27 Sep 2010 12:19:17 -0400	Christian Urban	added postprocessed fresh-lemmas for constructors	file \| diff \| annotate
Mon, 27 Sep 2010 09:51:15 -0400	Christian Urban	post-processed eq_iff and supp threormes according to the fv-supp equality	file \| diff \| annotate
Sat, 25 Sep 2010 08:38:04 -0400	Christian Urban	lifted size_thms and exported them as <name>.size	file \| diff \| annotate
Wed, 22 Sep 2010 23:17:25 +0200	Christian Urban	removed dead code	file \| diff \| annotate
Wed, 22 Sep 2010 14:19:48 +0800	Christian Urban	made supp proofs more robust by not using the standard induction; renamed some example files	file \| diff \| annotate
Fri, 10 Sep 2010 09:17:40 +0800	Christian Urban	supp-proofs work except for CoreHaskell and Modules (induct is probably not finding the correct instance)	file \| diff \| annotate

nominal2