nominal2: File revisions

Quot/QuotScript.thy

2010-01-08	Cezary Kaliszyk	Modifictaions for new_relation.	file \| diff \| annotate
2010-01-08	Cezary Kaliszyk	Proved concat_empty.	file \| diff \| annotate
2010-01-05	Christian Urban	added a new version of equiv_relation (is not yet used anywhere except in AbsRepTest)	file \| diff \| annotate
2009-12-11	Cezary Kaliszyk	More name and indentation cleaning.	file \| diff \| annotate
2009-12-10	Christian Urban	added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages	file \| diff \| annotate
2009-12-10	Cezary Kaliszyk	Regularized the hard lemma.	file \| diff \| annotate
2009-12-10	Cezary Kaliszyk	Simplification of Babses for regularize; will probably become injection	file \| diff \| annotate
2009-12-09	Cezary Kaliszyk	Finished one proof in IntEx2.	file \| diff \| annotate
2009-12-09	Cezary Kaliszyk	Temporarily repeated fun_map_tac 4 times. Cleaning for all examples work.	file \| diff \| annotate
2009-12-07	Cezary Kaliszyk	babs_prs	file \| diff \| annotate
2009-12-07	Christian Urban	first attempt to deal with Babs in regularise and cleaning (not yet working)	file \| diff \| annotate
2009-12-07	Christian Urban	directory re-arrangement	file \| diff \| annotate \| base

nominal2