2006-09-06 wenzelm [Wed, 06 Sep 2006 22:48:36 +0200] rev 20487
read_instantiate: declare names of TVars as well (temporary workaround for no-freeze feature of type inference);
src/Pure/Isar/rule_insts.ML

2006-09-06 webertj [Wed, 06 Sep 2006 17:39:52 +0200] rev 20486
rawsat_thm: mk_conjunction_list replaced by Conjunction.mk_conjunction_list
src/HOL/Tools/sat_funcs.ML

2006-09-06 haftmann [Wed, 06 Sep 2006 13:48:02 +0200] rev 20485
got rid of Numeral.bin type
NEWS src/HOL/Complex/Complex.thy src/HOL/Complex/NSComplex.thy src/HOL/Hyperreal/NSA.thy src/HOL/Import/HOL/HOL4Prob.thy src/HOL/Import/HOL/HOL4Real.thy src/HOL/Import/HOL/HOL4Vec.thy src/HOL/Import/HOL/HOL4Word32.thy src/HOL/Integ/IntArith.thy src/HOL/Integ/IntDef.thy src/HOL/Integ/IntDiv.thy src/HOL/Integ/NatBin.thy src/HOL/Integ/NatSimprocs.thy src/HOL/Integ/Numeral.thy src/HOL/Integ/Presburger.thy src/HOL/Integ/int_arith1.ML src/HOL/Integ/int_factor_simprocs.ML src/HOL/Integ/nat_simprocs.ML src/HOL/Integ/presburger.ML src/HOL/Library/Word.thy src/HOL/Library/word_setup.ML src/HOL/Matrix/cplex/FloatSparseMatrixBuilder.ML src/HOL/Matrix/cplex/MatrixLP.ML src/HOL/Presburger.thy src/HOL/Real/Float.ML src/HOL/Real/Float.thy src/HOL/Real/Rational.thy src/HOL/Real/RealDef.thy src/HOL/Real/ferrante_rackoff.ML src/HOL/Tools/Presburger/presburger.ML src/HOL/arith_data.ML src/HOL/ex/Abstract_NAT.thy src/HOL/hologic.ML src/Pure/Tools/codegen_package.ML

2006-09-06 haftmann [Wed, 06 Sep 2006 10:01:27 +0200] rev 20484
now using TypecopyPackage
src/HOL/Tools/record_package.ML

2006-09-06 haftmann [Wed, 06 Sep 2006 10:01:04 +0200] rev 20483
TypedefPackage.add_typedef_* now yields name of introduced type constructor
src/HOL/Import/proof_kernel.ML src/HOL/Nominal/nominal_package.ML src/HOL/Tools/typecopy_package.ML src/HOL/Tools/typedef_package.ML src/HOLCF/pcpodef_package.ML

2006-09-05 wenzelm [Tue, 05 Sep 2006 22:06:18 +0200] rev 20482
added Barendregt-Geuvers:2001;
doc-src/manual.bib

2006-09-05 wenzelm [Tue, 05 Sep 2006 22:05:49 +0200] rev 20481
updated;
doc-src/IsarImplementation/Thy/document/logic.tex doc-src/IsarImplementation/Thy/document/prelim.tex

2006-09-05 wenzelm [Tue, 05 Sep 2006 22:05:41 +0200] rev 20480
more on types and type classes;
doc-src/IsarImplementation/Thy/logic.thy

2006-09-05 wenzelm [Tue, 05 Sep 2006 22:05:15 +0200] rev 20479
tuned;
doc-src/IsarImplementation/Thy/prelim.thy

2006-09-05 wenzelm [Tue, 05 Sep 2006 22:04:56 +0200] rev 20478
added \isactrlvec;
doc-src/IsarImplementation/style.sty