| Wed, 09 Dec 2009 22:43:11 +0100 | Cezary Kaliszyk | Finished one proof in IntEx2. | file | diff | annotate |
| Wed, 09 Dec 2009 05:59:49 +0100 | Cezary Kaliszyk | Temporarily repeated fun_map_tac 4 times. Cleaning for all examples work. | file | diff | annotate |
| Mon, 07 Dec 2009 21:21:23 +0100 | Cezary Kaliszyk | babs_prs | file | diff | annotate |
| Mon, 07 Dec 2009 17:57:33 +0100 | Christian Urban | first attempt to deal with Babs in regularise and cleaning (not yet working) | file | diff | annotate |
| Mon, 07 Dec 2009 14:09:50 +0100 | Christian Urban | directory re-arrangement | file | diff | annotate | base |