nominal2: File revisions

Quot/QuotMain.thy

2009-12-12	Christian Urban	tuned code	file \| diff \| annotate
2009-12-12	Christian Urban	renamed quotient.ML to quotient_typ.ML	file \| diff \| annotate
2009-12-11	Cezary Kaliszyk	Merge + Added LarryInt & Fset3 to tests.	file \| diff \| annotate
2009-12-11	Cezary Kaliszyk	Renaming	file \| diff \| annotate
2009-12-11	Christian Urban	deleted struct_match by Pattern.match (fixes a problem in LarryInt)	file \| diff \| annotate
2009-12-11	Christian Urban	added Int example from Larry	file \| diff \| annotate
2009-12-11	Christian Urban	changed error message	file \| diff \| annotate
2009-12-11	Christian Urban	reformulated the lemma lifting_procedure as ML value; gave better warning message for injection case	file \| diff \| annotate
2009-12-10	Christian Urban	added maps-printout and tuned some comments	file \| diff \| annotate
2009-12-10	Cezary Kaliszyk	Regularized the hard lemma.	file \| diff \| annotate
2009-12-10	Cezary Kaliszyk	Found the problem with ttt3.	file \| diff \| annotate
2009-12-10	Cezary Kaliszyk	minor	file \| diff \| annotate
2009-12-10	Cezary Kaliszyk	Moved Unused part of locale to Unused QuotMain.	file \| diff \| annotate
2009-12-10	Christian Urban	more tuning	file \| diff \| annotate
2009-12-10	Christian Urban	tuned	file \| diff \| annotate
2009-12-10	Christian Urban	simplified the instantiation of QUOT_TRUE in procedure_tac	file \| diff \| annotate

nominal2