nominal2: File revisions

QuotMain.thy

2009-11-24	Christian Urban	addded a tactic, which sets up the three goals of the `algorithm'	file \| diff \| annotate
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-23	Christian Urban	tuned some comments	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	domain_type in regularizing equality	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	More theorems lifted in the goal-directed way.	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	Finished temporary goal-directed lift_theorem wrapper.	file \| diff \| annotate
2009-11-23	Christian Urban	merged	file \| diff \| annotate
2009-11-23	Christian Urban	a version of inj_REPABS (needs to be looked at again later)	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	Fixes for atomize	file \| diff \| annotate
2009-11-23	Christian Urban	slight change in code layout	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	Removing dead code	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	Move atomize_goal to QuotMain	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	Moved new repabs_inj code to QuotMain	file \| diff \| annotate
2009-11-23	Christian Urban	code review with Cezary	file \| diff \| annotate

nominal2