Quot/QuotScript.thy
2009-12-11 Cezary Kaliszyk More name and indentation cleaning.
2009-12-10 Christian Urban added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages
2009-12-10 Cezary Kaliszyk Regularized the hard lemma.
2009-12-10 Cezary Kaliszyk Simplification of Babses for regularize; will probably become injection
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