nominal2: File revisions

quotient.ML

2009-11-23	Christian Urban	fixed the error by a temporary fix (the data of the eqivalence relation should be only its name)	file \| diff \| annotate
2009-11-22	Christian Urban	updated to Isabelle 22nd November	file \| diff \| annotate
2009-11-21	Christian Urban	slight tuning	file \| diff \| annotate
2009-11-21	Christian Urban	simplified get_fun so that it uses directly rty and qty, instead of qenv	file \| diff \| annotate
2009-11-20	Christian Urban	started regularize of rtrm/qtrm version; looks quite promising	file \| diff \| annotate
2009-11-19	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2009-11-13	Christian Urban	added some tracing information to all phases of lifting to the function lift_thm	file \| diff \| annotate
2009-11-12	Cezary Kaliszyk	merge of the merge?	file \| diff \| annotate
2009-11-12	Cezary Kaliszyk	merged	file \| diff \| annotate
2009-11-12	Christian Urban	added a FIXME commment	file \| diff \| annotate
2009-11-12	Christian Urban	looking up data in quot_info works now (needs qualified string)	file \| diff \| annotate
2009-11-12	Christian Urban	changed the quotdata to be a symtab table (needs fixing)	file \| diff \| annotate
2009-11-06	Christian Urban	tuned the code in quotient and quotient_def	file \| diff \| annotate
2009-11-05	Christian Urban	*removed typing information from get_fun in quotient_def; potentially* dangerous**	file \| diff \| annotate
2009-11-02	Christian Urban	split quotient.ML into two files	file \| diff \| annotate

nominal2