2009-12-11 | Cezary Kaliszyk | More name and indentation cleaning. | file | diff | annotate |
2009-12-10 | Christian Urban | added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages | file | diff | annotate |
2009-12-10 | Cezary Kaliszyk | Regularized the hard lemma. | file | diff | annotate |
2009-12-10 | Cezary Kaliszyk | Simplification of Babses for regularize; will probably become injection | file | diff | annotate |
2009-12-09 | Cezary Kaliszyk | Finished one proof in IntEx2. | file | diff | annotate |
2009-12-09 | Cezary Kaliszyk | Temporarily repeated fun_map_tac 4 times. Cleaning for all examples work. | file | diff | annotate |
2009-12-07 | Cezary Kaliszyk | babs_prs | 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 | Christian Urban | directory re-arrangement | file | diff | annotate | base |