| Mon, 14 Oct 2002 10:44:32 +0200 | nipkow | Ported find_intro/elim to Isar. | changeset | files |
| 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 |