Tue, 03 Aug 2010 12:16:32 +0200 blanchet fix soundness bug w.r.t. "Suc" with "binary_ints"
Tue, 03 Aug 2010 02:18:05 +0200 blanchet handle free variables even more gracefully;
Tue, 03 Aug 2010 01:16:08 +0200 blanchet optimize local "def"s by treating them as definitions
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip