src/HOL/Import/HOL/ROOT.ML
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Mon, 06 Sep 2010 13:22:11 +0200 wenzelm modernized session ROOT setup;
Tue, 01 Sep 2009 16:00:57 +0200 haftmann some reorganization of number theory
Wed, 08 Oct 2008 19:20:29 +0200 wenzelm setmp_noncritical makes it work with future scheduler;
Wed, 08 Nov 2006 23:11:13 +0100 wenzelm moved theories Parity, GCD, Binomial to Library;
Thu, 29 Sep 2005 00:59:03 +0200 wenzelm HOL4 image is back;
Mon, 26 Sep 2005 08:50:21 +0200 obua tuned
Mon, 26 Sep 2005 02:27:14 +0200 obua fixed disambiguation problem
Fri, 01 Apr 2005 18:59:17 +0200 skalberg Updated import configuration.
Sat, 01 May 2004 22:07:16 +0200 wenzelm removed 'constdefs' hack;
Thu, 22 Apr 2004 11:02:22 +0200 wenzelm tmp hack get back to old 'constdefs';
Sat, 17 Apr 2004 23:53:35 +0200 skalberg Minor cleanup of headers and some speedup of the HOL4 import.
Fri, 02 Apr 2004 17:37:45 +0200 skalberg Added HOL proof importer.
less more (0) tip