| Mon, 16 Dec 2002 11:18:35 +0100 | berghofe | Code generator for datatypes now also generates suitable term_of functions (when | changeset | files |
| Mon, 16 Dec 2002 11:17:16 +0100 | berghofe | - Added mode reference variable (may be used to switch on and off specific | changeset | files |
| Fri, 13 Dec 2002 18:14:25 +0100 | oheimb | cent/currency: changed from wasysym to textcomp because of PDF problems | changeset | files |
| Fri, 13 Dec 2002 16:49:08 +0100 | paulson | trace_unify_fail | changeset | files |
| Fri, 13 Dec 2002 16:48:20 +0100 | paulson | integer induction rules | changeset | files |
| Fri, 13 Dec 2002 14:20:47 +0100 | berghofe | size_of_proof no longer includes size_of_term | changeset | files |