nominal2: File revisions

Quot/Examples/AbsRepTest.thy

Tue, 05 Jan 2010 15:25:31 +0100	Cezary Kaliszyk	Trying to state composition quotient.	file \| diff \| annotate
Tue, 05 Jan 2010 14:23:45 +0100	Christian Urban	proper handling of error messages (code copy - maybe this can be avoided)	file \| diff \| annotate
Tue, 05 Jan 2010 14:09:04 +0100	Christian Urban	added a new version of equiv_relation (is not yet used anywhere except in AbsRepTest)	file \| diff \| annotate
Fri, 01 Jan 2010 11:30:00 +0100	Christian Urban	a slight change to abs/rep generation	file \| diff \| annotate
Sat, 26 Dec 2009 23:20:46 +0100	Christian Urban	corrected wrong [quot_respect] attribute; tuned	file \| diff \| annotate
Sat, 26 Dec 2009 21:36:20 +0100	Christian Urban	renamed mk_resp_arg to equiv_relation and exported it in the signature; added tests in AbsRepFun.thy	file \| diff \| annotate
Sat, 26 Dec 2009 07:15:30 +0100	Christian Urban	generalised absrep function; needs consolidation	file \| diff \| annotate
Thu, 24 Dec 2009 22:28:19 +0100	Christian Urban	made the quotient_type definition more like typedef; now type variables need to be explicitly given	file \| diff \| annotate

nominal2