| Tue, 01 Dec 2009 12:16:45 +0100 | Cezary Kaliszyk | Cleaning 'aps'. | file | diff | annotate |
| Mon, 30 Nov 2009 15:32:14 +0100 | Cezary Kaliszyk | clean_tac rewrites the definitions the other way | file | diff | annotate |
| Mon, 30 Nov 2009 12:14:20 +0100 | Cezary Kaliszyk | More code cleaning | file | diff | annotate |
| Mon, 30 Nov 2009 11:53:20 +0100 | Cezary Kaliszyk | Code cleaning. | file | diff | annotate |
| Sun, 29 Nov 2009 23:59:37 +0100 | Christian Urban | tried to improve the inj_repabs_trm function but left the new part commented out | file | diff | annotate |
| Sun, 29 Nov 2009 09:38:07 +0100 | Cezary Kaliszyk | Removed unnecessary HOL_ss which proved one of the subgoals. | file | diff | annotate |