| Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | contextifying the proof procedure in the predicate compiler | changeset | files |
| Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | making flat triples to nested tuple to remove general triple functions | changeset | files |
| 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 |