2008-09-22 wenzelm [Mon, 22 Sep 2008 15:26:11 +0200] rev 28318
removed deriv.ML which is now incorporated into thm.ML;
src/Pure/IsaMakefile src/Pure/ROOT.ML src/Pure/deriv.ML

2008-09-22 wenzelm [Mon, 22 Sep 2008 15:26:11 +0200] rev 28317
added reject_draft;
src/Pure/context.ML

2008-09-22 wenzelm [Mon, 22 Sep 2008 15:26:07 +0200] rev 28316
type thm: fully internal derivation, no longer exported;
src/FOL/ex/IffOracle.thy src/Pure/display.ML

2008-09-22 haftmann [Mon, 22 Sep 2008 13:56:04 +0200] rev 28315
generic quickcheck framework
src/HOL/ex/Quickcheck.thy src/Pure/ProofGeneral/preferences.ML src/Pure/Tools/quickcheck.ML src/Pure/codegen.ML

2008-09-22 haftmann [Mon, 22 Sep 2008 13:56:03 +0200] rev 28314
TEMPORARY: make batch run happy
src/HOL/ex/Quickcheck_Examples.thy

2008-09-22 haftmann [Mon, 22 Sep 2008 13:56:01 +0200] rev 28313
absolute Library path
src/HOL/Code_Eval.thy src/HOL/Complex/Fundamental_Theorem_Algebra.thy src/HOL/Real/Rational.thy

2008-09-22 haftmann [Mon, 22 Sep 2008 13:55:59 +0200] rev 28312
different session branches for HOL-Plain vs. Plain
src/HOL/IsaMakefile

2008-09-22 haftmann [Mon, 22 Sep 2008 08:00:28 +0200] rev 28311
temporary workaround for class constants
src/Pure/Isar/theory_target.ML

2008-09-22 haftmann [Mon, 22 Sep 2008 08:00:27 +0200] rev 28310
corrected sort intersection
src/Pure/Isar/code_unit.ML

2008-09-22 haftmann [Mon, 22 Sep 2008 08:00:26 +0200] rev 28309
some steps towards generic quickcheck framework
src/HOL/ex/Quickcheck.thy src/Pure/Tools/quickcheck.ML src/Pure/codegen.ML