2009-10-27 paulson [Tue, 27 Oct 2009 12:59:57 +0000] rev 33269
New theory SupInf of the supremum and infimum operators for sets of reals.
NEWS src/HOL/Complex_Main.thy src/HOL/IsaMakefile src/HOL/Library/Convex_Euclidean_Space.thy src/HOL/Library/Euclidean_Space.thy src/HOL/Library/Topology_Euclidean_Space.thy src/HOL/SupInf.thy

2009-10-28 wenzelm [Wed, 28 Oct 2009 00:24:38 +0100] rev 33268
eliminated hard tabulators, guessing at each author's individual tab-width;
src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy src/HOL/Decision_Procs/Polynomial_List.thy src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy src/HOL/Nominal/Examples/Pattern.thy src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML

2009-10-28 wenzelm [Wed, 28 Oct 2009 00:23:39 +0100] rev 33267
tuned initial session setup;
src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy src/HOL/Multivariate_Analysis/ROOT.ML

2009-10-28 wenzelm [Wed, 28 Oct 2009 00:08:32 +0100] rev 33266
merged

2009-10-28 wenzelm [Wed, 28 Oct 2009 00:07:51 +0100] rev 33265
proper headers;
src/HOL/Predicate_Compile.thy src/HOL/Tools/Predicate_Compile/predicate_compile.ML src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML src/HOL/Tools/Predicate_Compile/predicate_compile_fun.ML src/HOL/Tools/Predicate_Compile/predicate_compile_pred.ML src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML src/HOL/Tools/Predicate_Compile/predicate_compile_set.ML

2009-10-27 wenzelm [Tue, 27 Oct 2009 23:16:18 +0100] rev 33264
reactivated sun-poly, as parallel test;
Admin/isatest/isatest-statistics Admin/isatest/isatest-stats

2009-10-27 wenzelm [Tue, 27 Oct 2009 23:12:10 +0100] rev 33263
merged

2009-10-27 bulwahn [Tue, 27 Oct 2009 19:03:59 +0100] rev 33262
merged
src/HOL/IsaMakefile src/HOL/Mirabelle/doc/options.txt src/HOL/SMT/Tools/smt_builtin.ML

2009-10-27 bulwahn [Tue, 27 Oct 2009 16:47:27 +0100] rev 33261
merged

2009-10-27 bulwahn [Tue, 27 Oct 2009 16:01:38 +0100] rev 33260
merged