isabelle: Changelog

haftmann [Tue, 15 Jun 2010 14:28:22 +0200] rev 37442

added code_simp infrastructure

haftmann [Tue, 15 Jun 2010 14:28:08 +0200] rev 37441

tuned whitespace

haftmann [Tue, 15 Jun 2010 11:38:40 +0200] rev 37440

maintain cong rules for case combinators; more precise permissiveness

haftmann [Tue, 15 Jun 2010 11:38:40 +0200] rev 37439

drop function definitions of combinators

haftmann [Tue, 15 Jun 2010 11:38:39 +0200] rev 37438

maintain cong rules for case combinators

haftmann [Tue, 15 Jun 2010 08:32:32 +0200] rev 37437

formal introduction of case cong

blanchet [Tue, 15 Jun 2010 16:42:09 +0200] rev 37436

found missing beta-eta-contraction

blanchet [Tue, 15 Jun 2010 16:20:23 +0200] rev 37435

added missing Umlaut

blanchet [Tue, 15 Jun 2010 10:47:06 +0200] rev 37434

make example run a bit faster (might help atbroy102)

haftmann [Tue, 15 Jun 2010 07:42:48 +0200] rev 37433

merged

isabelle