nominal2: File revisions

Quot/Examples/FSet3.thy

Wed, 06 Jan 2010 08:24:37 +0100	Cezary Kaliszyk	Sledgehammer bug.	file \| diff \| annotate
Wed, 30 Dec 2009 12:10:57 +0000	cu	some small changes	file \| diff \| annotate
Sun, 27 Dec 2009 23:33:10 +0100	Christian Urban	added a functor that allows checking what is added to the theorem lists	file \| diff \| annotate
Sat, 26 Dec 2009 23:20:46 +0100	Christian Urban	corrected wrong [quot_respect] attribute; tuned	file \| diff \| annotate
Sat, 26 Dec 2009 20:45:37 +0100	Christian Urban	added an item about when the same quotient constant is defined twice (throws a bind exception in quoteint_def.ML)	file \| diff \| annotate
Sat, 26 Dec 2009 20:24:53 +0100	Christian Urban	as expected problems occure when lifting concat lemmas	file \| diff \| annotate
Thu, 24 Dec 2009 22:28:19 +0100	Christian Urban	made the quotient_type definition more like typedef; now type variables need to be explicitly given	file \| diff \| annotate
Wed, 23 Dec 2009 23:22:02 +0100	Christian Urban	renamed some fields in the info records	file \| diff \| annotate

nominal2