2008-03-02 nipkow [Sun, 02 Mar 2008 15:02:06 +0100] rev 26191
Generalized Zorn and added well-ordering theorem
src/HOL/Library/Zorn.thy

2008-03-01 wenzelm [Sat, 01 Mar 2008 15:01:03 +0100] rev 26190
tuned ML code, more antiquotations;
src/ZF/Bin.thy src/ZF/Inductive_ZF.thy src/ZF/Tools/datatype_package.ML src/ZF/Tools/numeral_syntax.ML src/ZF/int_arith.ML

2008-03-01 wenzelm [Sat, 01 Mar 2008 14:10:15 +0100] rev 26189
misc cleanup of embedded ML code;
use more antiquotations;
tuned;
src/ZF/Inductive_ZF.thy src/ZF/Tools/cartprod.ML src/ZF/Tools/datatype_package.ML src/ZF/Tools/inductive_package.ML src/ZF/ind_syntax.ML

2008-03-01 wenzelm [Sat, 01 Mar 2008 14:10:14 +0100] rev 26188
added @{const} antiquotation;
NEWS src/Pure/ML/ml_context.ML

2008-03-01 wenzelm [Sat, 01 Mar 2008 14:10:13 +0100] rev 26187
use more antiquotations;
src/HOL/SizeChange/sct.ML src/HOL/ex/Binary.thy

2008-02-28 wenzelm [Thu, 28 Feb 2008 18:59:22 +0100] rev 26186
unused_thms: print via official context (ProofContext.pretty_fact),
not just the theory certificate (Display.pretty_thm);
tuned;
src/Pure/Isar/isar_cmd.ML

2008-02-28 berghofe [Thu, 28 Feb 2008 17:34:15 +0100] rev 26185
Added function for finding unused theorems.
src/Pure/Thy/thm_deps.ML

2008-02-28 berghofe [Thu, 28 Feb 2008 17:33:35 +0100] rev 26184
Added unused_thms command.
etc/isar-keywords-ZF.el etc/isar-keywords.el lib/jedit/isabelle.xml src/Pure/Isar/isar_cmd.ML src/Pure/Isar/isar_syn.ML

2008-02-28 haftmann [Thu, 28 Feb 2008 16:54:56 +0100] rev 26183
import all 'special code' types
src/HOL/Library/RType.thy

2008-02-28 haftmann [Thu, 28 Feb 2008 16:50:52 +0100] rev 26182
added code generator setup
src/HOL/Library/Array.thy src/HOL/Library/Heap_Monad.thy src/HOL/Library/Ref.thy