| Fri, 01 Jul 2011 23:10:27 +0200 | haftmann | corrected misunderstanding what `old functions` are supposed to be | changeset | files |
| Fri, 01 Jul 2011 23:07:06 +0200 | haftmann | centralized deletion of equations for constructors; corrected misunderstanding what `old functions` are supposed to be | changeset | files |
| Fri, 01 Jul 2011 22:48:05 +0200 | haftmann | merged | changeset | files |
| Fri, 01 Jul 2011 19:57:41 +0200 | haftmann | index cases for constructors | changeset | files |
| Fri, 01 Jul 2011 19:42:07 +0200 | noschinl | cover induct's "arbitrary" more deeply | changeset | files |
| Fri, 01 Jul 2011 18:11:17 +0200 | wenzelm | merged; | changeset | files |
| Fri, 01 Jul 2011 17:44:04 +0200 | blanchet | enforce hard timeout on ATPs (esp. "z3_atp" on Linux) + remove obsolete failure codes | changeset | files |