| Fri, 25 Nov 2005 18:58:37 +0100 | wenzelm | forall_conv: limit prefix; | changeset | files |
| Fri, 25 Nov 2005 18:58:36 +0100 | wenzelm | fix_tac: proper treatment of major premises in goal; | changeset | files |
| Fri, 25 Nov 2005 18:58:35 +0100 | wenzelm | removed obsolete dummy paragraphs; | changeset | files |
| Fri, 25 Nov 2005 18:58:34 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 25 Nov 2005 17:41:52 +0100 | haftmann | code generator: case expressions, improved name resolving | changeset | files |
| Fri, 25 Nov 2005 14:51:39 +0100 | urbanc | added fsub.thy (poplmark challenge) to the examples | changeset | files |
| Fri, 25 Nov 2005 14:00:22 +0100 | berghofe | Fixed problem with strong induction theorem for datatypes containing | changeset | files |