Thu, 17 Jun 2010 15:59:47 +0200 more precise code
haftmann [Thu, 17 Jun 2010 15:59:47 +0200] rev 37449
more precise code
Thu, 17 Jun 2010 15:59:46 +0200 explicit type variable arguments for constructors
haftmann [Thu, 17 Jun 2010 15:59:46 +0200] rev 37448
explicit type variable arguments for constructors
Thu, 17 Jun 2010 11:33:04 +0200 transitive superclasses were also only a misunderstanding
haftmann [Thu, 17 Jun 2010 11:33:04 +0200] rev 37447
transitive superclasses were also only a misunderstanding
Thu, 17 Jun 2010 10:57:00 +0200 formal introduction of transitive superclasses
haftmann [Thu, 17 Jun 2010 10:57:00 +0200] rev 37446
formal introduction of transitive superclasses
Thu, 17 Jun 2010 10:51:38 +0200 dropped obscure type argument weakening mapping -- was only a misunderstanding
haftmann [Thu, 17 Jun 2010 10:51:38 +0200] rev 37445
dropped obscure type argument weakening mapping -- was only a misunderstanding
Thu, 17 Jun 2010 10:45:10 +0200 added simp evaluator
haftmann [Thu, 17 Jun 2010 10:45:10 +0200] rev 37444
added simp evaluator
Thu, 17 Jun 2010 10:02:29 +0200 merged
haftmann [Thu, 17 Jun 2010 10:02:29 +0200] rev 37443
merged
Tue, 15 Jun 2010 14:28:22 +0200 added code_simp infrastructure
haftmann [Tue, 15 Jun 2010 14:28:22 +0200] rev 37442
added code_simp infrastructure
Tue, 15 Jun 2010 14:28:08 +0200 tuned whitespace
haftmann [Tue, 15 Jun 2010 14:28:08 +0200] rev 37441
tuned whitespace
Tue, 15 Jun 2010 11:38:40 +0200 maintain cong rules for case combinators; more precise permissiveness
haftmann [Tue, 15 Jun 2010 11:38:40 +0200] rev 37440
maintain cong rules for case combinators; more precise permissiveness
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip