nominal2: File revisions

quotient.ML

Tue, 24 Nov 2009 15:31:29 +0100	Christian Urban	use error instead of raising our own exception	file \| diff \| annotate
Mon, 23 Nov 2009 23:09:03 +0100	Christian Urban	fixed the error by a temporary fix (the data of the eqivalence relation should be only its name)	file \| diff \| annotate
Sun, 22 Nov 2009 15:30:23 +0100	Christian Urban	updated to Isabelle 22nd November	file \| diff \| annotate
Sat, 21 Nov 2009 23:23:01 +0100	Christian Urban	slight tuning	file \| diff \| annotate
Sat, 21 Nov 2009 02:49:39 +0100	Christian Urban	simplified get_fun so that it uses directly rty and qty, instead of qenv	file \| diff \| annotate
Fri, 20 Nov 2009 13:03:01 +0100	Christian Urban	started regularize of rtrm/qtrm version; looks quite promising	file \| diff \| annotate
Thu, 19 Nov 2009 14:17:10 +0100	Christian Urban	updated to new Isabelle	file \| diff \| annotate
Fri, 13 Nov 2009 16:44:36 +0100	Christian Urban	added some tracing information to all phases of lifting to the function lift_thm	file \| diff \| annotate

nominal2