| Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | reduced the debug output functions from 2 to 1 | changeset | files |
| Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | some improvements thanks to Makarius source code review | changeset | files |
| Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | adding proof procedure for cases rule with tuples; adding introduction rule for negated premises; improving proof procedure with negated premises | changeset | files |
| Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | enabling a previously broken example of the predicate compiler again | changeset | files |
| Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | improving handling of case expressions in predicate rewriting | changeset | files |
| Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | adding depth_limited_random compilation to predicate compiler | changeset | files |