nominal2: File revisions

Quot/Examples/IntEx.thy

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
Tue, 08 Dec 2009 17:33:51 +0100	Christian Urban	chnaged syntax to "lifting theorem"	file \| diff \| annotate
Tue, 08 Dec 2009 17:30:00 +0100	Christian Urban	changed names of attributes	file \| diff \| annotate
Tue, 08 Dec 2009 16:35:40 +0100	Christian Urban	added methods for the lifting_tac and the other tacs	file \| diff \| annotate
Tue, 08 Dec 2009 13:01:23 +0100	Cezary Kaliszyk	Another lambda example theorem proved. Seems it starts working properly.	file \| diff \| annotate

nominal2