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 |
Fri, 25 Nov 2005 11:34:37 +0100 | kleing | send more information with test-takes-too-long message | changeset | files |