| Thu, 13 May 2010 18:47:07 +0200 | wenzelm | raise Fail uniformly for proofterm errors, which appear to be rather low-level; | changeset | files |
| Thu, 13 May 2010 18:22:10 +0200 | wenzelm | unconstrainT operations on proofs, according to krauss/schropp; | changeset | files |
| Thu, 13 May 2010 17:25:53 +0200 | wenzelm | added Proofterm.get_name variants according to krauss/schropp; | changeset | files |
| Wed, 12 May 2010 22:43:05 +0200 | wenzelm | conditional structure SingleAssignment; | changeset | files |
| Wed, 12 May 2010 17:10:53 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 May 2010 15:31:43 +0200 | haftmann | merged | changeset | files |
| Wed, 12 May 2010 15:27:15 +0200 | haftmann | tuned proofs and fact and class names | changeset | files |