nominal2: File revisions

Quot/quotient_tacs.ML

Tue, 26 Jan 2010 16:30:51 +0100	Cezary Kaliszyk	Bex1_Bexeq_regular.	file \| diff \| annotate
Tue, 26 Jan 2010 13:38:42 +0100	Cezary Kaliszyk	Combined the simpsets in clean_tac and updated the comment. Now cleaning of splits does work.	file \| diff \| annotate
Tue, 26 Jan 2010 12:24:23 +0100	Cezary Kaliszyk	Changed the lambda_prs_simple_conv to use id_apply, now last eq_reflection can be removed from id_simps.	file \| diff \| annotate
Tue, 26 Jan 2010 09:28:32 +0100	Cezary Kaliszyk	All eq_reflections apart from the one of 'id_apply' can be removed.	file \| diff \| annotate
Mon, 25 Jan 2010 18:13:44 +0100	Christian Urban	renamed QuotScript to QuotBase	file \| diff \| annotate
Thu, 21 Jan 2010 19:52:46 +0100	Cezary Kaliszyk	Changed fun_map and rel_map to definitions.	file \| diff \| annotate
Thu, 21 Jan 2010 12:03:47 +0100	Cezary Kaliszyk	Automatic injection of Bexeq	file \| diff \| annotate
Thu, 21 Jan 2010 11:11:22 +0100	Cezary Kaliszyk	Automatic cleaning of Bexeq<->Ex1 theorems.	file \| diff \| annotate

nominal2