2010-06-10 haftmann [Thu, 10 Jun 2010 12:24:01 +0200] rev 37389
qualified type "*"; qualified constants Pair, fst, snd, split
NEWS src/HOL/Product_Type.thy src/HOL/Tools/hologic.ML

2010-06-08 haftmann [Tue, 08 Jun 2010 16:37:22 +0200] rev 37388
tuned quotes, antiquotations and whitespace
src/HOL/Library/Binomial.thy src/HOL/Library/Countable.thy src/HOL/Library/Diagonalize.thy src/HOL/Library/Efficient_Nat.thy src/HOL/Library/Formal_Power_Series.thy src/HOL/Nominal/Examples/Support.thy src/HOL/SetInterval.thy src/HOL/Sum_Type.thy src/HOL/Tools/Qelim/cooper.ML src/HOL/Tools/groebner.ML src/HOL/Tools/lin_arith.ML src/HOL/Tools/meson.ML src/HOL/Tools/nat_numeral_simprocs.ML src/HOL/Tools/refute.ML src/HOL/ex/Dedekind_Real.thy src/HOL/ex/Refute_Examples.thy

2010-06-08 haftmann [Tue, 08 Jun 2010 16:37:19 +0200] rev 37387
qualified types "+" and nat; qualified constants Ball, Bex, Suc, curry; modernized some specifications
NEWS src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy src/HOL/Import/HOL/num.imp src/HOL/Import/HOL/pair.imp src/HOL/Import/HOLLight/hollight.imp src/HOL/Nat.thy src/HOL/Product_Type.thy src/HOL/Set.thy src/HOL/Tools/Function/measure_functions.ML src/HOL/Tools/Function/sum_tree.ML src/HOL/Tools/Function/termination.ML src/HOL/Tools/hologic.ML

2010-06-10 krauss [Thu, 10 Jun 2010 12:08:33 +0200] rev 37386
Adapted Mirabelle script (cf. f60e4dd6d76f)
src/HOL/Mirabelle/lib/scripts/mirabelle.pl

2010-06-08 haftmann [Tue, 08 Jun 2010 07:45:39 +0200] rev 37385
merged

2010-06-07 haftmann [Mon, 07 Jun 2010 13:42:38 +0200] rev 37384
more consistent naming aroud type classes and instances
src/Tools/Code/code_haskell.ML src/Tools/Code/code_ml.ML src/Tools/Code/code_preproc.ML src/Tools/Code/code_scala.ML src/Tools/Code/code_thingol.ML src/Tools/nbe.ML

2010-06-07 wenzelm [Mon, 07 Jun 2010 17:39:32 +0200] rev 37383
back to non-release mode;
CONTRIBUTORS NEWS

2010-06-21 wenzelm [Mon, 21 Jun 2010 11:37:25 +0200] rev 37382
removed obsolete test tags;
.hgtags

2010-06-21 wenzelm [Mon, 21 Jun 2010 11:35:56 +0200] rev 37381
Added tag Isabelle2009-2 for changeset 35815ce9218a
.hgtags

2010-06-21 wenzelm [Mon, 21 Jun 2010 11:24:19 +0200] rev 37380 Isabelle2009-2
final tuning;
NEWS