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 |