Quot/QuotScript.thy
2009-12-09 Cezary Kaliszyk Finished one proof in IntEx2.
2009-12-09 Cezary Kaliszyk Temporarily repeated fun_map_tac 4 times. Cleaning for all examples work.
2009-12-07 Cezary Kaliszyk babs_prs
2009-12-07 Christian Urban first attempt to deal with Babs in regularise and cleaning (not yet working)
2009-12-07 Christian Urban directory re-arrangement
less more (0) tip