nominal2: File revisions

Nominal/Lift.thy

Wed, 14 Apr 2010 11:07:42 +0200	Cezary Kaliszyk	Fix spelling in theory header	file \| diff \| annotate
Wed, 14 Apr 2010 10:39:03 +0200	Cezary Kaliszyk	Initial cleaning/reorganization in Fv.	file \| diff \| annotate
Sun, 04 Apr 2010 21:39:28 +0200	Christian Urban	separated general nominal theory into separate folder	file \| diff \| annotate
Sat, 27 Mar 2010 16:20:39 +0100	Cezary Kaliszyk	Lets finally abstract lists.	file \| diff \| annotate
Sat, 27 Mar 2010 14:55:07 +0100	Cezary Kaliszyk	Automatically lift theorems and constants only using the new quotient types. Requires new Isabelle.	file \| diff \| annotate
Sat, 27 Mar 2010 13:50:59 +0100	Cezary Kaliszyk	Get lifted types information from the quotient package.	file \| diff \| annotate
Fri, 26 Mar 2010 16:20:39 +0100	Cezary Kaliszyk	Removed remaining cheats + some cleaning.	file \| diff \| annotate
Fri, 19 Mar 2010 18:42:57 +0100	Cezary Kaliszyk	Automatically derive support for datatypes with at-most one binding per constructor.	file \| diff \| annotate

nominal2