2009-06-02 haftmann [Tue, 02 Jun 2009 16:23:43 +0200] rev 31380
added/moved lemmas by Andreas Lochbihler
src/HOL/Finite_Set.thy src/HOL/Hilbert_Choice.thy src/HOL/Library/Fin_Fun.thy src/HOL/Map.thy

2009-06-02 haftmann [Tue, 02 Jun 2009 15:53:34 +0200] rev 31379
added Fin_Fun theory
src/HOL/Library/Fin_Fun.thy src/HOL/Library/Library.thy

2009-06-02 haftmann [Tue, 02 Jun 2009 15:53:07 +0200] rev 31378
tuned code generator test theories
src/HOL/IsaMakefile src/HOL/ex/Codegenerator.thy src/HOL/ex/Codegenerator_Candidates.thy src/HOL/ex/Codegenerator_Pretty.thy src/HOL/ex/Codegenerator_Pretty_Test.thy src/HOL/ex/Codegenerator_Test.thy src/HOL/ex/ExecutableContent.thy src/HOL/ex/ROOT.ML

2009-06-02 haftmann [Tue, 02 Jun 2009 15:53:05 +0200] rev 31377
OCaml builtin intergers are elusive; avoid
src/HOL/Code_Numeral.thy src/HOL/Library/Code_Integer.thy src/HOL/Library/Efficient_Nat.thy src/Tools/code/code_ml.ML

2009-06-02 haftmann [Tue, 02 Jun 2009 15:53:04 +0200] rev 31376
more aggresive bracketing of let expressions
src/Tools/code/code_haskell.ML

2009-06-02 haftmann [Tue, 02 Jun 2009 15:53:03 +0200] rev 31375
tuned whitespace
src/HOL/Tools/numeral.ML

2009-06-02 wenzelm [Tue, 02 Jun 2009 16:56:55 +0200] rev 31374
merged

2009-06-02 wenzelm [Tue, 02 Jun 2009 16:10:51 +0200] rev 31373
merged
src/Pure/ML/ml_test.ML

2009-06-02 chaieb [Tue, 02 Jun 2009 15:06:17 +0200] rev 31372
merged

2009-06-02 chaieb [Tue, 02 Jun 2009 12:18:44 +0200] rev 31371
merged