Thu, 28 Aug 2014 19:02:37 +0200 | blanchet | use 'thesis' only if it expands to the right thing (it won't after an 'unfolding', for example) | changeset | files |
Thu, 28 Aug 2014 17:25:56 +0200 | blanchet | fixed second computations | changeset | files |
Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | merged minimize and auto_minimize | changeset | files |