nominal2: File revisions

Quot/Examples/FSet3.thy

Sun, 20 Dec 2009 00:53:35 +0100	Christian Urban	on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file	file \| diff \| annotate
Sun, 20 Dec 2009 00:26:53 +0100	Christian Urban	renamed "quotient" command to "quotient_type"; needs new keyword file to be installed	file \| diff \| annotate
Mon, 14 Dec 2009 10:09:49 +0100	Cezary Kaliszyk	Replies to questions from the weekend: Uncommenting the renamed theorem commented out in 734.	file \| diff \| annotate
Sat, 12 Dec 2009 15:07:59 +0100	Christian Urban	annotated some questions to the code; some simple changes	file \| diff \| annotate
Sat, 12 Dec 2009 09:27:06 +0100	Cezary Kaliszyk	Minor	file \| diff \| annotate
Sat, 12 Dec 2009 05:12:50 +0100	Cezary Kaliszyk	Some proofs.	file \| diff \| annotate
Sat, 12 Dec 2009 04:48:43 +0100	Cezary Kaliszyk	Proof of finite_set_storng_cases_raw.	file \| diff \| annotate
Sat, 12 Dec 2009 04:25:47 +0100	Cezary Kaliszyk	A bracket was missing; with it proved the 'definitely false' lemma.	file \| diff \| annotate

nominal2