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 |