isabelle: Changelog

nipkow [Fri, 18 Jun 2010 22:40:58 +0200] rev 37466

added pigeonhole lemmas

haftmann [Fri, 18 Jun 2010 21:22:05 +0200] rev 37465

merged

haftmann [Fri, 18 Jun 2010 15:59:51 +0200] rev 37464

tuned whitespace; dropped dead code

haftmann [Fri, 18 Jun 2010 15:26:04 +0200] rev 37463

code_simp: only succeed on real progress

haftmann [Fri, 18 Jun 2010 15:26:02 +0200] rev 37462

prefer fold over foldl

haftmann [Fri, 18 Jun 2010 15:03:21 +0200] rev 37461

conclude simplification with default simpset

haftmann [Fri, 18 Jun 2010 15:03:21 +0200] rev 37460

drop subsumed default equations (requires a little bit unfortunate laziness)

haftmann [Fri, 18 Jun 2010 15:03:20 +0200] rev 37459

avoid Scala legacy operations

haftmann [Fri, 18 Jun 2010 15:03:20 +0200] rev 37458

prefer fold over foldl

haftmann [Fri, 18 Jun 2010 09:21:41 +0200] rev 37457

made List.thy a join point in the theory graph

isabelle