nominal2: File revisions

Quot/QuotMain.thy

2009-12-14	Cezary Kaliszyk	Fixed previous commit.	file \| diff \| annotate
2009-12-14	Cezary Kaliszyk	Moved DETERM inside Repeat & added SOLVE around quotient_tac.	file \| diff \| annotate
2009-12-14	Cezary Kaliszyk	reply to question in code	file \| diff \| annotate
2009-12-14	Cezary Kaliszyk	Reply in code.	file \| diff \| annotate
2009-12-13	Christian Urban	a few code annotations	file \| diff \| annotate
2009-12-13	Christian Urban	another pass on apply_rsp	file \| diff \| annotate
2009-12-13	Christian Urban	managed to simplify apply_rsp	file \| diff \| annotate
2009-12-12	Christian Urban	tried to simplify apply_rsp_tac; failed at the moment; added some questions	file \| diff \| annotate
2009-12-12	Christian Urban	some trivial changes	file \| diff \| annotate
2009-12-12	Christian Urban	trivial cleaning of make_inst	file \| diff \| annotate
2009-12-12	Christian Urban	tried to improve test; but fails	file \| diff \| annotate
2009-12-12	Christian Urban	merged	file \| diff \| annotate
2009-12-12	Christian Urban	annotated some questions to the code; some simple changes	file \| diff \| annotate
2009-12-12	Cezary Kaliszyk	Answering the question in code.	file \| diff \| annotate
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

nominal2