nominal2: File revisions

Quot/QuotMain.thy

2009-12-08	Christian Urban	tuned	file \| diff \| annotate
2009-12-08	Christian Urban	the lift_tac produces a warning message if one of the three automatic proofs fails	file \| diff \| annotate
2009-12-08	Christian Urban	added a thm list for ids	file \| diff \| annotate
2009-12-08	Christian Urban	removed a fixme: map_info is now checked	file \| diff \| annotate
2009-12-07	Christian Urban	tuning of the code	file \| diff \| annotate
2009-12-07	Christian Urban	merged	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	Cezary Kaliszyk	Handling of errors in lambda_prs_conv.	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	make_inst for lambda_prs where the second quotient is not identity.	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