| Wed, 28 Apr 2010 16:13:17 +0200 | krauss | return info record (relative to auxiliary context!) | changeset | files |
| Wed, 28 Apr 2010 11:52:04 +0200 | krauss | default termination prover as plain tactic | changeset | files |
| Wed, 28 Apr 2010 10:31:15 +0200 | krauss | function: sane interface for programmatic use | changeset | files |