| Wed, 13 Jul 2011 00:29:33 +0900 | Cezary Kaliszyk | Update files generated in HOL/Import/HOLLight | changeset | files |
| 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 | changeset | files |