Wed, 23 Aug 2006 22:12:54 +0200 generalize proof of SUP_rabs_subseq
huffman [Wed, 23 Aug 2006 22:12:54 +0200] rev 20408
generalize proof of SUP_rabs_subseq
Wed, 23 Aug 2006 21:57:43 +0200 speed up some proofs
huffman [Wed, 23 Aug 2006 21:57:43 +0200] rev 20407
speed up some proofs
Wed, 23 Aug 2006 17:05:08 +0200 SML/NJ int type fix
haftmann [Wed, 23 Aug 2006 17:05:08 +0200] rev 20406
SML/NJ int type fix
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip