2006-11-07 wenzelm [Tue, 07 Nov 2006 11:46:49 +0100] rev 21207
Isar.context: proper error;
src/Pure/Isar/outer_syntax.ML

2006-11-07 wenzelm [Tue, 07 Nov 2006 11:46:48 +0100] rev 21206
replaced const_syntax by notation, which operates on terms;
src/Pure/Isar/local_theory.ML src/Pure/Isar/specification.ML src/Pure/sign.ML

2006-11-07 wenzelm [Tue, 07 Nov 2006 11:46:47 +0100] rev 21205
read_const: include type;
src/Pure/consts.ML

2006-11-07 wenzelm [Tue, 07 Nov 2006 11:46:46 +0100] rev 21204
renamed 'const_syntax' to 'notation';
proper notation for fixed variables;
src/HOL/Orderings.thy

2006-11-07 wenzelm [Tue, 07 Nov 2006 11:46:45 +0100] rev 21203
updated;
etc/isar-keywords-HOL-Nominal.el etc/isar-keywords-ZF.el etc/isar-keywords.el

2006-11-07 berghofe [Tue, 07 Nov 2006 11:28:25 +0100] rev 21202
Adapted to changes in FixedPoint theory.
doc-src/TutorialI/CTL/PDL.thy

2006-11-07 krauss [Tue, 07 Nov 2006 09:59:43 +0100] rev 21201
method exported
src/HOL/Tools/function_package/lexicographic_order.ML

2006-11-07 krauss [Tue, 07 Nov 2006 09:41:14 +0100] rev 21200
updated NEWS
NEWS

2006-11-07 krauss [Tue, 07 Nov 2006 09:33:47 +0100] rev 21199
* Added annihilation axioms ("x * 0 = 0") to axclass semiring_0.
Richer structures do not inherit from semiring_0 anymore, because
anihilation is a theorem there, not an axiom.

* Generalized axclass "recpower" to arbitrary monoid, not just
commutative semirings.
src/HOL/Finite_Set.thy src/HOL/Hyperreal/Deriv.thy src/HOL/Hyperreal/StarClasses.thy src/HOL/Integ/NatBin.thy src/HOL/Power.thy src/HOL/Ring_and_Field.thy

2006-11-07 haftmann [Tue, 07 Nov 2006 08:03:46 +0100] rev 21198
added gfx
doc-src/IsarAdvanced/Codegen/codegen_process.ps