| Wed, 28 Apr 2010 21:41:05 +0200 | haftmann | use code_reflect | changeset | files |
| Thu, 29 Apr 2010 17:50:11 +0200 | wenzelm | merged | changeset | files |
| 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 |
| Wed, 28 Apr 2010 10:31:15 +0200 | krauss | function: sane interface for programmatic use | changeset | files |
| Wed, 28 Apr 2010 09:48:22 +0200 | krauss | ML interface uses plain command names, following conventions from typedef | changeset | files |