nominal2: File revisions

QuotMain.thy

2009-12-05	Christian Urban	merged	file \| diff \| annotate
2009-12-05	Christian Urban	simpler version of clean_tac	file \| diff \| annotate
2009-12-05	Cezary Kaliszyk	Handling of respects in the fast inj_repabs_tac; includes respects with quotient assumptions.	file \| diff \| annotate
2009-12-05	Cezary Kaliszyk	Solutions to IntEx tests.	file \| diff \| annotate
2009-12-05	Christian Urban	added three examples to IntEx for testing ideas - regularisation and injection seem to be not quite right yet	file \| diff \| annotate
2009-12-04	Christian Urban	tuned code	file \| diff \| annotate
2009-12-04	Christian Urban	merged	file \| diff \| annotate
2009-12-04	Christian Urban	not yet quite functional treatment of constants	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	Changed FOCUS to SUBGOAL in rep_abs_rsp_tac; another 20% speedup :)	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	Changing FOCUS to CSUBGOAL (part 1)	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	Minor renames and moving	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	Cleaning/review of QuotScript.	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	More cleaning	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	more name cleaning and removing	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	More code cleaning and renaming: moved rsp and prs lemmas from Int to QuotList	file \| diff \| annotate

nominal2