2008-10-23 wenzelm [Thu, 23 Oct 2008 15:28:01 +0200] rev 28674
renamed Thm.get_axiom_i to Thm.axiom;
doc-src/IsarImplementation/Thy/logic.thy src/HOL/Tools/res_axioms.ML src/Pure/Isar/class.ML src/Pure/Proof/extraction.ML src/Pure/Proof/proofchecker.ML src/Pure/codegen.ML src/Pure/conjunction.ML src/Pure/drule.ML src/Pure/more_thm.ML src/Pure/pure_thy.ML

2008-10-23 wenzelm [Thu, 23 Oct 2008 14:22:16 +0200] rev 28673
renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
doc-src/IsarAdvanced/Codegen/Thy/ML.thy src/HOL/Import/lazy_seq.ML src/HOL/Tools/datatype_codegen.ML src/Pure/General/ROOT.ML src/Pure/General/lazy.ML src/Pure/General/susp.ML src/Pure/IsaMakefile src/Pure/Isar/code.ML src/Pure/ML-Systems/install_pp_polyml.ML src/Tools/code/code_ml.ML

2008-10-23 wenzelm [Thu, 23 Oct 2008 13:52:28 +0200] rev 28672
adapted Susp.peek;
src/Pure/Isar/code.ML src/Pure/ML-Systems/install_pp_polyml.ML

2008-10-23 wenzelm [Thu, 23 Oct 2008 13:52:27 +0200] rev 28671
thread-safe version, with non-critical evaluation;
do not re-evaluate failed result;
misc tuning;
src/Pure/General/susp.ML

2008-10-23 wenzelm [Thu, 23 Oct 2008 13:52:26 +0200] rev 28670
do not open Susp;
src/HOL/Import/lazy_seq.ML

2008-10-23 wenzelm [Thu, 23 Oct 2008 13:51:54 +0200] rev 28669
switched parallel sessions to polyml-5.2.1;
Admin/isatest/settings/at-mac-poly-5.1-para Admin/isatest/settings/at-poly-5.1-para-e Admin/isatest/settings/at64-poly-5.1-para

2008-10-23 wenzelm [Thu, 23 Oct 2008 00:24:31 +0200] rev 28668
fixed and reactivated HOL/Library/Pocklington.thy -- by Mark Hillebrand;
src/HOL/Library/Library.thy src/HOL/Library/Pocklington.thy

2008-10-22 wenzelm [Wed, 22 Oct 2008 21:25:00 +0200] rev 28667
updated to 5.2.1;
Admin/polyml/README

2008-10-22 haftmann [Wed, 22 Oct 2008 14:15:48 +0200] rev 28666
prove_instantiation_exit combinators
src/Pure/Isar/class.ML

2008-10-22 haftmann [Wed, 22 Oct 2008 14:15:47 +0200] rev 28665
added meet_sort_typ
src/Pure/sorts.ML