2007-08-20 nipkow [Mon, 20 Aug 2007 18:10:13 +0200] rev 24349
Final mods for list comprehension
src/HOL/Inductive.thy src/HOL/List.thy src/HOL/Tools/datatype_case.ML src/HOL/Tools/datatype_package.ML src/HOL/ex/Reflected_Presburger.thy

2007-08-20 haftmann [Mon, 20 Aug 2007 18:07:49 +0200] rev 24348
renamed code_gen to export_code
doc-src/IsarAdvanced/Classes/Thy/Classes.thy doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy doc-src/IsarAdvanced/Codegen/codegen.tex doc-src/IsarRef/logics.tex src/HOL/Complex/ex/MIR.thy src/HOL/Complex/ex/ReflectedFerrack.thy src/HOL/Extraction/Higman.thy src/HOL/Extraction/Pigeonhole.thy src/HOL/Extraction/QuotRem.thy src/HOL/Lambda/WeakNorm.thy src/HOL/Library/SCT_Implementation.thy src/HOL/ex/Classpackage.thy src/HOL/ex/Codegenerator.thy src/HOL/ex/Codegenerator_Pretty.thy src/HOL/ex/Reflected_Presburger.thy src/Tools/code/code_package.ML

2007-08-20 haftmann [Mon, 20 Aug 2007 18:07:31 +0200] rev 24347
explizit dependencies
src/Tools/nbe.ML

2007-08-20 haftmann [Mon, 20 Aug 2007 18:07:30 +0200] rev 24346
using canonical instantiation interface
src/HOL/Tools/datatype_abs_proofs.ML src/HOL/Tools/datatype_package.ML

2007-08-20 haftmann [Mon, 20 Aug 2007 18:07:29 +0200] rev 24345
Sup now explicit parameter of complete_lattice
src/HOL/Lattices.thy src/HOL/Library/Graphs.thy src/HOL/Predicate.thy src/HOL/UNITY/Transformers.thy src/HOL/ex/CTL.thy

2007-08-20 haftmann [Mon, 20 Aug 2007 18:07:28 +0200] rev 24344
turned locales intro classes
src/HOL/Dense_Linear_Order.thy src/HOL/ex/Meson_Test.thy

2007-08-20 haftmann [Mon, 20 Aug 2007 18:07:26 +0200] rev 24343
updated keywords
etc/isar-keywords-HOL-Nominal.el etc/isar-keywords-ZF.el etc/isar-keywords.el

2007-08-20 haftmann [Mon, 20 Aug 2007 18:07:25 +0200] rev 24342
conciliated Inf/Inf_fin
NEWS src/HOL/Finite_Set.thy

2007-08-20 wenzelm [Mon, 20 Aug 2007 17:46:32 +0200] rev 24341
type_check: tuned singleton funs case;
src/Pure/Syntax/syntax.ML

2007-08-20 wenzelm [Mon, 20 Aug 2007 17:46:31 +0200] rev 24340
theory header: more precise imports;
src/HOL/MicroJava/BV/BVExample.thy src/HOL/MicroJava/BV/BVNoTypeError.thy src/HOL/MicroJava/JVM/JVMListExample.thy