Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
Wed, 05 Mar 2008 21:24:03 +0100 | wenzelm | explicit referencing of background facts; | file | diff | annotate |
Wed, 27 Feb 2008 14:39:58 +0100 | chaieb | Old HOL/Dense_Linear_Order.thy and the setup in Arith_Tools for Ferrante and Rackoff's Quantifier elimination for linear arithmetic over ordered Fields. | file | diff | annotate |