nominal2: File revisions

Quot/Examples/IntEx.thy

2009-12-08	Cezary Kaliszyk	inj_repabs also works.	file \| diff \| annotate
2009-12-08	Cezary Kaliszyk	merge	file \| diff \| annotate
2009-12-08	Cezary Kaliszyk	An example of working cleaning for lambda lifting. Still not sure why Babs helps.	file \| diff \| annotate
2009-12-07	Christian Urban	tuning of the code	file \| diff \| annotate
2009-12-07	Christian Urban	removed "global" data and lookup functions; had to move a tactic out from the inj_repabs_match tactic since apply_rsp interferes with a trans2 rule for ===>	file \| diff \| annotate
2009-12-07	Christian Urban	clarified the function examples	file \| diff \| annotate
2009-12-07	Christian Urban	first attempt to deal with Babs in regularise and cleaning (not yet working)	file \| diff \| annotate
2009-12-07	Cezary Kaliszyk	merge	file \| diff \| annotate
2009-12-07	Cezary Kaliszyk	make_inst for lambda_prs where the second quotient is not identity.	file \| diff \| annotate
2009-12-07	Christian Urban	added "end" to each example theory	file \| diff \| annotate
2009-12-07	Cezary Kaliszyk	List moved after QuotMain	file \| diff \| annotate
2009-12-07	Christian Urban	directory re-arrangement	file \| diff \| annotate

nominal2