isabelle: Changelog

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

haftmann [Tue, 15 Jun 2010 07:41:37 +0200] rev 37432

tuned documents

haftmann [Mon, 14 Jun 2010 16:00:47 +0200] rev 37431

teaked naming of superclass projections

haftmann [Mon, 14 Jun 2010 16:00:46 +0200] rev 37430

added lemma funpow_mult

isabelle