| 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 |