| Tue, 01 Dec 2009 18:51:14 +0100 | Christian Urban | fixed previous commit | file | diff | annotate |
| Tue, 01 Dec 2009 18:48:52 +0100 | Christian Urban | fixed problems with FOCUS | file | diff | annotate |
| Tue, 01 Dec 2009 18:41:01 +0100 | Christian Urban | added a make_inst test | file | diff | annotate |
| Tue, 01 Dec 2009 18:22:48 +0100 | Cezary Kaliszyk | Transformation of QUOT_TRUE assumption by any given function | file | diff | annotate |
| Tue, 01 Dec 2009 16:27:42 +0100 | Christian Urban | QUOT_TRUE joke | file | diff | annotate |
| Tue, 01 Dec 2009 14:08:56 +0100 | Cezary Kaliszyk | Removed last HOL_ss | file | diff | annotate |