| Sat, 03 Mar 2012 21:01:23 +0100 | haftmann | tuned whitespace | file | diff | annotate |
| Thu, 22 Sep 2011 14:12:16 -0700 | huffman | discontinued legacy theorem names from RealDef.thy | file | diff | annotate |
| Thu, 01 Sep 2011 16:16:25 +0900 | Cezary Kaliszyk | HOL/Import: observe distinction between sets and predicates (where possible) | file | diff | annotate |
| Thu, 18 Aug 2011 13:36:58 -0700 | huffman | remove bounded_(bi)linear locale interpretations, to avoid duplicating so many lemmas | 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 |