| Sat, 03 Mar 2012 21:00:04 +0100 | haftmann | explicit locations for import_theory and setup_theory, for better user interface conformance | file | diff | annotate |
| Sat, 10 Sep 2011 10:29:24 +0200 | haftmann | renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc. | file | diff | annotate |
| Fri, 09 Sep 2011 00:22:18 +0200 | krauss | added syntactic classes for "inf" and "sup" | file | diff | annotate |
| Mon, 08 Aug 2011 09:52:09 -0700 | huffman | moved division ring stuff from Rings.thy to Fields.thy | file | diff | annotate |
| 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 |
| Sun, 16 Jan 2011 15:53:03 +0100 | wenzelm | tuned headers; | file | diff | annotate |