2009-03-27 haftmann [Fri, 27 Mar 2009 12:22:02 +0100] rev 30743
dropped infix union
src/HOL/Library/reflection.ML

2009-03-27 haftmann [Fri, 27 Mar 2009 12:22:01 +0100] rev 30742
tuned notoriously slow metis proof
src/HOL/Library/Permutation.thy

2009-03-27 haftmann [Fri, 27 Mar 2009 10:12:55 +0100] rev 30741
merged
NEWS src/HOL/Decision_Procs/Dense_Linear_Order.thy src/HOL/Library/SetsAndFunctions.thy src/HOL/ex/Code_Antiq.thy

2009-03-27 haftmann [Fri, 27 Mar 2009 10:05:13 +0100] rev 30740
dropped toy example Code_Antiq
NEWS src/HOL/ex/Code_Antiq.thy src/HOL/ex/ROOT.ML

2009-03-27 haftmann [Fri, 27 Mar 2009 10:05:12 +0100] rev 30739
more convenient name uniqueness
src/Pure/Isar/code_unit.ML

2009-03-27 haftmann [Fri, 27 Mar 2009 10:05:11 +0100] rev 30738
normalized imports
src/HOL/Decision_Procs/Dense_Linear_Order.thy src/HOL/GCD.thy src/HOL/Imperative_HOL/Heap.thy src/HOL/Library/Permutation.thy src/HOL/Library/Pocklington.thy src/HOL/Library/Polynomial.thy src/HOL/Library/Primes.thy src/HOL/Library/Product_ord.thy src/HOL/Library/Quicksort.thy src/HOL/Library/Quotient.thy src/HOL/Library/RBT.thy src/HOL/Library/Ramsey.thy src/HOL/Library/SetsAndFunctions.thy src/HOL/Library/State_Monad.thy src/HOL/Library/Sublist_Order.thy src/HOL/Library/Univ_Poly.thy src/HOL/Library/While_Combinator.thy src/HOL/Lubs.thy src/HOL/Map.thy src/HOL/Parity.thy

2009-03-27 haftmann [Fri, 27 Mar 2009 10:05:08 +0100] rev 30737
dropped legacy goal package call
src/HOL/Tools/TFL/post.ML

2009-03-27 haftmann [Fri, 27 Mar 2009 09:58:48 +0100] rev 30736
merged
doc-src/Codegen/codegen_process.pdf doc-src/Codegen/codegen_process.ps

2009-03-26 haftmann [Thu, 26 Mar 2009 13:02:12 +0100] rev 30735
merged
doc-src/Codegen/codegen_process.pdf doc-src/Codegen/codegen_process.ps

2009-03-26 haftmann [Thu, 26 Mar 2009 13:01:09 +0100] rev 30734
step towards proper pictures in dvi
doc-src/Codegen/Makefile doc-src/Codegen/Thy/ROOT.ML doc-src/Codegen/Thy/pictures/adaption.tex doc-src/Codegen/Thy/pictures/architecture.tex doc-src/Codegen/codegen_process.pdf doc-src/Codegen/codegen_process.ps