nominal2: File revisions

Quot/Examples/IntEx.thy

Fri, 11 Dec 2009 11:08:58 +0100	Cezary Kaliszyk	New syntax for definitions.	file \| diff \| annotate
Thu, 10 Dec 2009 08:55:30 +0100	Cezary Kaliszyk	Moved 'int_induct' to IntEx to keep IntEx2 being just theory of integers in order.	file \| diff \| annotate
Wed, 09 Dec 2009 15:57:47 +0100	Cezary Kaliszyk	Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants.	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
Tue, 08 Dec 2009 23:30:47 +0100	Christian Urban	implemented cleaning strategy with fun_map.simps on non-bounded variables; still a few rough edges	file \| diff \| annotate
Tue, 08 Dec 2009 22:24:24 +0100	Christian Urban	decoupled QuotProd from QuotMain and also started new cleaning strategy	file \| diff \| annotate
Tue, 08 Dec 2009 22:02:14 +0100	Christian Urban	proper formulation of all preservation theorems	file \| diff \| annotate

nominal2