| Fri, 25 Nov 2005 14:00:22 +0100 | berghofe | Fixed problem with strong induction theorem for datatypes containing | changeset | files |
| Fri, 25 Nov 2005 11:34:37 +0100 | kleing | send more information with test-takes-too-long message | changeset | files |
| Thu, 24 Nov 2005 12:14:56 +0100 | wenzelm | fixed spelling of 'case_conclusion'; | changeset | files |
| Thu, 24 Nov 2005 00:00:20 +0100 | wenzelm | tuned induct proofs; | changeset | files |
| Wed, 23 Nov 2005 22:26:13 +0100 | wenzelm | tuned induction proofs; | changeset | files |
| Wed, 23 Nov 2005 22:23:52 +0100 | wenzelm | more robust revert_skolem; | changeset | files |
| Wed, 23 Nov 2005 20:29:36 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Nov 2005 18:52:05 +0100 | wenzelm | Provers/induct: definitional insts and fixing; | changeset | files |
| Wed, 23 Nov 2005 18:52:04 +0100 | wenzelm | consume: proper treatment of defs; | changeset | files |
| Wed, 23 Nov 2005 18:52:03 +0100 | wenzelm | added case_conclusion attribute; | changeset | files |
| Wed, 23 Nov 2005 18:52:02 +0100 | wenzelm | (co)induct: taking; | changeset | files |
| Wed, 23 Nov 2005 18:52:01 +0100 | wenzelm | RuleCases.case_conclusion; | changeset | files |
| Wed, 23 Nov 2005 18:52:00 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Nov 2005 18:51:59 +0100 | wenzelm | added case_conclusion attribute; | changeset | files |
| Wed, 23 Nov 2005 17:16:42 +0100 | haftmann | improved failure tracking | changeset | files |