| Fri, 11 Oct 2002 12:47:52 +0200 | berghofe | norm_typ -> Envir.norm_type | changeset | files |
| Thu, 10 Oct 2002 19:24:34 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 10 Oct 2002 19:03:37 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 10 Oct 2002 19:02:23 +0200 | nipkow | added failure trace information to pattern unification | changeset | files |
| Thu, 10 Oct 2002 14:26:50 +0200 | berghofe | Reimplemented parts of datatype package dealing with datatypes involving | changeset | files |
| Thu, 10 Oct 2002 14:23:47 +0200 | berghofe | Added list_all. | changeset | files |
| Thu, 10 Oct 2002 14:23:19 +0200 | berghofe | Removed obsolete function "fun_rel_comp". | changeset | files |