2010-11-26 haftmann [Fri, 26 Nov 2010 12:03:18 +0100] rev 40711
globbing constant expressions use more idiomatic underscore rather than star
doc-src/IsarRef/Thy/HOL_Specific.thy doc-src/IsarRef/Thy/document/HOL_Specific.tex src/HOL/Codegenerator_Test/Generate.thy src/HOL/Codegenerator_Test/Generate_Pretty.thy src/Tools/Code/code_runtime.ML src/Tools/Code/code_thingol.ML

2010-11-26 haftmann [Fri, 26 Nov 2010 12:03:17 +0100] rev 40710
globbing constant expressions use more idiomatic underscore rather than star;
precised
NEWS

2010-11-26 haftmann [Fri, 26 Nov 2010 11:38:20 +0100] rev 40709
datatype constructor glob for code_reflect
doc-src/IsarRef/Thy/HOL_Specific.thy doc-src/IsarRef/Thy/document/HOL_Specific.tex

2010-11-26 haftmann [Fri, 26 Nov 2010 11:06:49 +0100] rev 40708
merged

2010-11-26 haftmann [Fri, 26 Nov 2010 09:32:26 +0100] rev 40707
merged

2010-11-25 haftmann [Thu, 25 Nov 2010 15:40:41 +0100] rev 40706
merged

2010-11-25 haftmann [Thu, 25 Nov 2010 15:40:15 +0100] rev 40705
toplevel deresolving for flat module name space
src/Tools/Code/code_haskell.ML src/Tools/Code/code_namespace.ML

2010-11-26 hoelzl [Fri, 26 Nov 2010 10:04:04 +0100] rev 40704
merged

2010-11-23 hoelzl [Tue, 23 Nov 2010 14:14:17 +0100] rev 40703
Move some missing lemmas from Andrei Popescus 'Ordinals and Cardinals' AFP entry to the HOL-image.
src/HOL/Finite_Set.thy src/HOL/Fun.thy src/HOL/Hilbert_Choice.thy src/HOL/Set.thy src/HOL/SetInterval.thy

2010-11-22 hoelzl [Mon, 22 Nov 2010 10:34:33 +0100] rev 40702
Replace surj by abbreviation; remove surj_on.
NEWS src/HOL/Finite_Set.thy src/HOL/Fun.thy src/HOL/Hilbert_Choice.thy src/HOL/Lattice/Orders.thy src/HOL/Library/ContNotDenum.thy src/HOL/Library/Countable.thy src/HOL/Multivariate_Analysis/Derivative.thy src/HOL/Multivariate_Analysis/Euclidean_Space.thy src/HOL/Nominal/Examples/Support.thy src/HOL/Probability/Sigma_Algebra.thy src/HOL/Product_Type.thy src/HOL/UNITY/Comp/Alloc.thy src/HOL/UNITY/Extend.thy src/HOL/UNITY/Rename.thy