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 |