isabelle: Changelog

haftmann [Thu, 17 Jun 2010 11:33:04 +0200] rev 37447

transitive superclasses were also only a misunderstanding

haftmann [Thu, 17 Jun 2010 10:57:00 +0200] rev 37446

formal introduction of transitive superclasses

haftmann [Thu, 17 Jun 2010 10:51:38 +0200] rev 37445

dropped obscure type argument weakening mapping -- was only a misunderstanding

haftmann [Thu, 17 Jun 2010 10:45:10 +0200] rev 37444

added simp evaluator

haftmann [Thu, 17 Jun 2010 10:02:29 +0200] rev 37443

merged

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

isabelle