nominal2: File revisions

Quot/Examples/AbsRepTest.thy

2010-01-01	Christian Urban	a slight change to abs/rep generation	file \| diff \| annotate
2009-12-26	Christian Urban	corrected wrong [quot_respect] attribute; tuned	file \| diff \| annotate
2009-12-26	Christian Urban	renamed mk_resp_arg to equiv_relation and exported it in the signature; added tests in AbsRepFun.thy	file \| diff \| annotate
2009-12-26	Christian Urban	generalised absrep function; needs consolidation	file \| diff \| annotate
2009-12-24	Christian Urban	made the quotient_type definition more like typedef; now type variables need to be explicitly given	file \| diff \| annotate
2009-12-23	Christian Urban	used Local_Theory.declaration for storing quotdata	file \| diff \| annotate
2009-12-23	Christian Urban	modified mk_resp_arg so that the user can give terms as equivalence relations, not just constants	file \| diff \| annotate
2009-12-23	Christian Urban	explicit handling of mem_def, avoiding the use of the simplifier; this fixes some quotient_type definitions	file \| diff \| annotate
2009-12-23	Christian Urban	corrected map declarations for Sum and Prod; moved absrep_fun examples in separate file	file \| diff \| annotate

nominal2