2007-03-20 haftmann [Tue, 20 Mar 2007 15:52:37 +0100] rev 22480
switched exception from arbitrary to undefined
src/HOL/Code_Generator.thy src/HOL/Tools/datatype_codegen.ML src/HOL/Tools/datatype_package.ML src/HOL/Tools/primrec_package.ML

2007-03-20 haftmann [Tue, 20 Mar 2007 10:23:31 +0100] rev 22479
updated code generation sections
doc-src/IsarAdvanced/Classes/Thy/Classes.thy doc-src/IsarAdvanced/Classes/Thy/code_examples/classes.ML doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex doc-src/IsarAdvanced/Codegen/Thy/examples/bool_literal.ML doc-src/IsarAdvanced/Codegen/Thy/examples/lexicographic.ML

2007-03-20 haftmann [Tue, 20 Mar 2007 08:27:23 +0100] rev 22478
fixed typo
src/HOL/Set.thy

2007-03-20 haftmann [Tue, 20 Mar 2007 08:27:22 +0100] rev 22477
new lemmas
src/HOL/FixedPoint.thy

2007-03-20 haftmann [Tue, 20 Mar 2007 08:27:21 +0100] rev 22476
pretty function arrow for diag serializer
src/Pure/Tools/codegen_serializer.ML

2007-03-20 haftmann [Tue, 20 Mar 2007 08:27:20 +0100] rev 22475
adjusted definition of defining equation
src/Pure/Tools/codegen_func.ML

2007-03-20 haftmann [Tue, 20 Mar 2007 08:27:19 +0100] rev 22474
fixed slip
src/Provers/classical.ML

2007-03-20 haftmann [Tue, 20 Mar 2007 08:27:15 +0100] rev 22473
explizit "type" superclass
doc-src/IsarAdvanced/Classes/Thy/Classes.thy doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy src/HOL/Code_Generator.thy src/HOL/Divides.thy src/HOL/Finite_Set.thy src/HOL/HOL.thy src/HOL/Integ/Numeral.thy src/HOL/Library/Kleene_Algebras.thy src/HOL/Library/Parity.thy src/HOL/Library/Quotient.thy src/HOL/Nat.thy src/HOL/Orderings.thy src/HOL/ex/Classpackage.thy src/HOL/ex/CodeCollections.thy src/HOL/ex/CodeEval.thy src/Pure/Tools/class_package.ML

2007-03-19 urbanc [Mon, 19 Mar 2007 19:28:27 +0100] rev 22472
tuned the proof
src/HOL/Nominal/Examples/SOS.thy

2007-03-19 paulson [Mon, 19 Mar 2007 15:58:02 +0100] rev 22471
Removal of axiom names from the theorem cache
src/HOL/Tools/res_axioms.ML