Fri, 11 May 2007 17:54:36 +0200 tuned;
wenzelm [Fri, 11 May 2007 17:54:36 +0200] rev 22936
tuned;
Fri, 11 May 2007 15:37:42 +0200 added fun flip f x y = f y x
krauss [Fri, 11 May 2007 15:37:42 +0200] rev 22935
added fun flip f x y = f y x
Fri, 11 May 2007 03:31:12 +0200 generalize setsum lemmas from semiring_0_cancel to semiring_0
huffman [Fri, 11 May 2007 03:31:12 +0200] rev 22934
generalize setsum lemmas from semiring_0_cancel to semiring_0
Fri, 11 May 2007 01:07:10 +0200 tuned proofs;
wenzelm [Fri, 11 May 2007 01:07:10 +0200] rev 22933
tuned proofs;
Fri, 11 May 2007 00:43:46 +0200 bang_facts: warning;
wenzelm [Fri, 11 May 2007 00:43:46 +0200] rev 22932
bang_facts: warning;
Fri, 11 May 2007 00:43:45 +0200 tuned proofs;
wenzelm [Fri, 11 May 2007 00:43:45 +0200] rev 22931
tuned proofs;
Thu, 10 May 2007 22:11:38 +0200 (class target)
haftmann [Thu, 10 May 2007 22:11:38 +0200] rev 22930
(class target)
Thu, 10 May 2007 22:11:37 +0200 cleaned up
haftmann [Thu, 10 May 2007 22:11:37 +0200] rev 22929
cleaned up
Thu, 10 May 2007 22:11:36 +0200 beta/eta conversion after preprocessor
haftmann [Thu, 10 May 2007 22:11:36 +0200] rev 22928
beta/eta conversion after preprocessor
Thu, 10 May 2007 22:11:35 +0200 fixed typo
haftmann [Thu, 10 May 2007 22:11:35 +0200] rev 22927
fixed typo
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip