2010-06-18 haftmann [Fri, 18 Jun 2010 15:03:20 +0200] rev 37459
avoid Scala legacy operations
src/HOL/Library/Code_Char.thy

2010-06-18 haftmann [Fri, 18 Jun 2010 15:03:20 +0200] rev 37458
prefer fold over foldl
src/HOL/Library/AssocList.thy src/HOL/Library/RBT_Impl.thy

2010-06-18 haftmann [Fri, 18 Jun 2010 09:21:41 +0200] rev 37457
made List.thy a join point in the theory graph
src/HOL/List.thy

2010-06-18 nipkow [Fri, 18 Jun 2010 20:22:06 +0200] rev 37456
tuned set_replicate lemmas
src/HOL/Imperative_HOL/ex/SatChecker.thy src/HOL/List.thy src/HOL/MicroJava/Comp/CorrCompTp.thy src/HOL/ex/Recdefs.thy

2010-06-18 nipkow [Fri, 18 Jun 2010 14:14:42 +0200] rev 37455
merged
src/HOL/List.thy

2010-06-18 nipkow [Fri, 18 Jun 2010 14:14:29 +0200] rev 37454
added lemmas
src/HOL/List.thy

2010-06-18 haftmann [Fri, 18 Jun 2010 09:04:00 +0200] rev 37453
dropped dead code
src/Tools/Code/code_scala.ML

2010-06-17 haftmann [Thu, 17 Jun 2010 19:32:05 +0200] rev 37452
replaced unreliable metis proof
src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy

2010-06-17 haftmann [Thu, 17 Jun 2010 16:15:15 +0200] rev 37451
rev is reverse in Haskell
src/HOL/List.thy

2010-06-17 haftmann [Thu, 17 Jun 2010 15:59:48 +0200] rev 37450
first serious draft of a scala code generator
src/Tools/Code/code_scala.ML