nominal2: File revisions

Quot/QuotScript.thy

Fri, 08 Jan 2010 10:08:01 +0100	Cezary Kaliszyk	Proved concat_empty.	file \| diff \| annotate
Tue, 05 Jan 2010 14:09:04 +0100	Christian Urban	added a new version of equiv_relation (is not yet used anywhere except in AbsRepTest)	file \| diff \| annotate
Fri, 11 Dec 2009 17:59:29 +0100	Cezary Kaliszyk	More name and indentation cleaning.	file \| diff \| annotate
Thu, 10 Dec 2009 18:28:30 +0100	Christian Urban	added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages	file \| diff \| annotate
Thu, 10 Dec 2009 12:25:12 +0100	Cezary Kaliszyk	Regularized the hard lemma.	file \| diff \| annotate
Thu, 10 Dec 2009 11:19:34 +0100	Cezary Kaliszyk	Simplification of Babses for regularize; will probably become injection	file \| diff \| annotate
Wed, 09 Dec 2009 22:43:11 +0100	Cezary Kaliszyk	Finished one proof in IntEx2.	file \| diff \| annotate
Wed, 09 Dec 2009 05:59:49 +0100	Cezary Kaliszyk	Temporarily repeated fun_map_tac 4 times. Cleaning for all examples work.	file \| diff \| annotate

nominal2