nominal2: File revisions

Nominal/Ex/Datatypes.thy

Thu, 16 Jun 2011 20:07:03 +0100	Christian Urban	got rid of the boolean flag in the raw_equivariance function	file \| diff \| annotate
Tue, 10 May 2011 07:47:06 +0100	Christian Urban	updated to new Isabelle (> 9 May)	file \| diff \| annotate
Tue, 03 May 2011 13:09:08 +0100	Christian Urban	proved that lfp is equivariant (that simplifies equivariance proofs of inductively defined predicates)	file \| diff \| annotate
Wed, 22 Dec 2010 09:13:25 +0000	Christian Urban	properly exported strong exhaust theorem; cleaned up some examples	file \| diff \| annotate
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
Sun, 07 Nov 2010 11:22:31 +0000	Christian Urban	fixed locally the problem with the function package; all tests work again	file \| diff \| annotate
Sat, 06 Nov 2010 06:18:41 +0000	Christian Urban	added a test about subtyping; disabled two tests, because of problem with function package	file \| diff \| annotate
Sat, 25 Sep 2010 02:53:39 +0200	Christian Urban	added example about datatypes	file \| diff \| annotate

nominal2