| Tue, 13 Dec 2011 15:18:52 +0100 | wenzelm | modernized specifications; | file | diff | annotate |
| Sat, 16 Jul 2011 00:01:17 +0200 | Cezary Kaliszyk | HOL/Import: Fix errors with _mk_list | file | diff | annotate |
| Wed, 13 Jul 2011 00:23:24 +0900 | Cezary Kaliszyk | HOL/Import for HOLLight revival: Proper theory headers, update generation scripts to SVN version of HOL Light, add some constant maps and compatibility theorems | file | diff | annotate |