nominal2: File revisions

Quot/QuotProd.thy

Mon, 25 Jan 2010 20:47:20 +0100	Christian Urban	*ids cannot* be object equalities**	file \| diff \| annotate
Mon, 25 Jan 2010 19:14:46 +0100	Christian Urban	tuned proofs (mainly in QuotProd)	file \| diff \| annotate
Thu, 21 Jan 2010 19:52:46 +0100	Cezary Kaliszyk	Changed fun_map and rel_map to definitions.	file \| diff \| annotate
Wed, 13 Jan 2010 16:46:25 +0100	Cezary Kaliszyk	Moved the matches_typ function outside a?d simplified it.	file \| diff \| annotate
Fri, 08 Jan 2010 15:02:12 +0100	Cezary Kaliszyk	map and rel simps for all quotients; needed when changing the relations to aggregate ones.	file \| diff \| annotate
Thu, 10 Dec 2009 16:56:03 +0100	Christian Urban	added maps-printout and tuned some comments	file \| diff \| annotate
Wed, 09 Dec 2009 17:05:33 +0100	Cezary Kaliszyk	Code cleaning.	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
Mon, 07 Dec 2009 14:09:50 +0100	Christian Urban	directory re-arrangement	file \| diff \| annotate \| base

nominal2