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 |