nominal2: File revisions

IntEx.thy

2009-11-25	Cezary Kaliszyk	Removed unused things from QuotMain.	file \| diff \| annotate
2009-11-25	Cezary Kaliszyk	cleaning in MyInt	file \| diff \| annotate
2009-11-25	Christian Urban	fixed the problem with generalising variables; at the moment it is quite a hack	file \| diff \| annotate
2009-11-24	Christian Urban	added a prepare_tac	file \| diff \| annotate
2009-11-24	Cezary Kaliszyk	Moved cleaning to QuotMain	file \| diff \| annotate
2009-11-24	Cezary Kaliszyk	New cleaning tactic	file \| diff \| annotate
2009-11-24	Christian Urban	explicit phases for the cleaning	file \| diff \| annotate
2009-11-24	Christian Urban	addded a tactic, which sets up the three goals of the `algorithm'	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	Finished temporary goal-directed lift_theorem wrapper.	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	Fixes for atomize	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	lift_thm with a goal.	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	Fixes for new code	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	Moved new repabs_inj code to QuotMain	file \| diff \| annotate
2009-11-23	Cezary Kaliszyk	New repabs behaves the same way as old one.	file \| diff \| annotate
2009-11-23	Christian Urban	code review with Cezary	file \| diff \| annotate
2009-11-21	Christian Urban	a little tuning of comments	file \| diff \| annotate

nominal2