haftmann [Thu, 17 Jun 2010 15:59:47 +0200] rev 37424
more precise code
haftmann [Thu, 17 Jun 2010 15:59:46 +0200] rev 37423
explicit type variable arguments for constructors
haftmann [Thu, 17 Jun 2010 11:33:04 +0200] rev 37422
transitive superclasses were also only a misunderstanding
haftmann [Thu, 17 Jun 2010 10:57:00 +0200] rev 37421
formal introduction of transitive superclasses
haftmann [Thu, 17 Jun 2010 10:51:38 +0200] rev 37420
dropped obscure type argument weakening mapping -- was only a misunderstanding
haftmann [Thu, 17 Jun 2010 10:45:10 +0200] rev 37419
added simp evaluator
haftmann [Thu, 17 Jun 2010 10:02:29 +0200] rev 37418
merged
haftmann [Tue, 15 Jun 2010 14:28:22 +0200] rev 37417
added code_simp infrastructure
haftmann [Tue, 15 Jun 2010 14:28:08 +0200] rev 37416
tuned whitespace
haftmann [Tue, 15 Jun 2010 11:38:40 +0200] rev 37415
maintain cong rules for case combinators; more precise permissiveness