| Tue, 06 Sep 2011 19:03:41 -0700 | huffman | avoid using legacy theorem names | 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 |