2009-11-10 haftmann [Tue, 10 Nov 2009 16:11:43 +0100] rev 33595
substantial simplification restores code generation
src/HOL/Record.thy src/HOL/Tools/record.ML

2009-11-10 haftmann [Tue, 10 Nov 2009 16:11:39 +0100] rev 33594
lemmas about apfst and apsnd
src/HOL/Product_Type.thy

2009-11-10 haftmann [Tue, 10 Nov 2009 16:11:37 +0100] rev 33593
tuned imports
src/HOL/ATP_Linkup.thy src/HOL/List.thy src/HOL/Plain.thy src/HOL/Refute.thy

2009-11-10 huffman [Tue, 10 Nov 2009 06:48:26 -0800] rev 33592
merged
src/Pure/ML-Systems/polyml-experimental.ML

2009-11-10 huffman [Tue, 10 Nov 2009 06:47:55 -0800] rev 33591
HOLCF example: domain package proofs done manually
src/HOLCF/ex/Domain_Proofs.thy src/HOLCF/ex/ROOT.ML

2009-11-10 huffman [Tue, 10 Nov 2009 06:30:19 -0800] rev 33590
add lemma parallel_fix_ind
src/HOLCF/Fix.thy

2009-11-10 huffman [Tue, 10 Nov 2009 06:30:08 -0800] rev 33589
add title/author block
src/HOLCF/Representable.thy

2009-11-10 huffman [Tue, 10 Nov 2009 06:22:29 -0800] rev 33588
theory of representable cpos
src/HOLCF/HOLCF.thy src/HOLCF/Representable.thy

2009-11-09 huffman [Mon, 09 Nov 2009 15:51:32 -0800] rev 33587
add map_map lemmas
src/HOLCF/Bifinite.thy src/HOLCF/Sprod.thy src/HOLCF/Ssum.thy src/HOLCF/Up.thy

2009-11-09 huffman [Mon, 09 Nov 2009 15:29:58 -0800] rev 33586
add in_deflation relation, more lemmas about cast
src/HOLCF/Algebraic.thy