| Tue, 17 Dec 2002 11:04:58 +0100 | paulson | new int induction rules | changeset | files |
| Tue, 17 Dec 2002 11:04:30 +0100 | paulson | new material for trace_unify_fail | changeset | files |
| Mon, 16 Dec 2002 13:43:11 +0100 | berghofe | Added mk_int and mk_list. | changeset | files |
| 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 |