Tue, 03 Aug 2010 12:16:32 +0200 | blanchet | fix soundness bug w.r.t. "Suc" with "binary_ints" | changeset | files |
Tue, 03 Aug 2010 02:18:05 +0200 | blanchet | handle free variables even more gracefully; | changeset | files |
Tue, 03 Aug 2010 01:16:08 +0200 | blanchet | optimize local "def"s by treating them as definitions | changeset | files |