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

2007-08-20 huffman [Mon, 20 Aug 2007 17:34:04 +0200] rev 24339
Word/document/root.tex
src/HOL/IsaMakefile

2007-08-20 huffman [Mon, 20 Aug 2007 17:31:59 +0200] rev 24338
new root.tex for HOL-Word
src/HOL/Word/document/root.tex

2007-08-20 huffman [Mon, 20 Aug 2007 17:31:01 +0200] rev 24337
no_document for Infinite_Set, Parity
src/HOL/Word/ROOT.ML

2007-08-20 nipkow [Mon, 20 Aug 2007 11:18:18 +0200] rev 24336
removed allpairs
src/HOL/Complex/ex/MIR.thy src/HOL/Complex/ex/ReflectedFerrack.thy src/HOL/ex/Reflected_Presburger.thy

2007-08-20 nipkow [Mon, 20 Aug 2007 11:18:07 +0200] rev 24335
removed allpairs - use list comprehension!
src/HOL/List.thy

2007-08-20 kleing [Mon, 20 Aug 2007 04:44:35 +0200] rev 24334
added header
src/HOL/Word/BitSyntax.thy