| Thu, 29 Apr 2010 09:06:35 +0200 | Cezary Kaliszyk | Tuning the quotient examples | changeset | files |
| Wed, 28 Apr 2010 17:42:37 +0200 | krauss | clarified signature; simpler implementation in terms of function's tactic interface | changeset | files |
| 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 |