Wed, 07 Sep 2011 07:59:45 +0900 | Cezary Kaliszyk | HOL/Import: Update HOL4 generated files to current Isabelle. | file | diff | annotate |
Mon, 13 Sep 2010 11:13:15 +0200 | nipkow | renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI | file | diff | annotate |
Tue, 07 Sep 2010 10:05:19 +0200 | nipkow | expand_fun_eq -> ext_iff | file | diff | annotate |
Tue, 23 Feb 2010 10:37:25 -0800 | huffman | moved some lemmas from RealPow to RealDef; changed orientation of real_of_int_power | file | diff | annotate |
Mon, 08 Feb 2010 17:12:38 +0100 | haftmann | renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields | file | diff | annotate |
Fri, 01 Apr 2005 18:59:17 +0200 | skalberg | Updated import configuration. | file | diff | annotate |
Fri, 02 Apr 2004 17:37:45 +0200 | skalberg | Added HOL proof importer. | file | diff | annotate |