2002-10-14 | nipkow | Ported find_intro/elim to Isar. | changeset | files |
2002-10-11 | berghofe | norm_typ -> Envir.norm_type | changeset | files |
2002-10-10 | nipkow | *** empty log message *** | changeset | files |
2002-10-10 | nipkow | *** empty log message *** | changeset | files |
2002-10-10 | nipkow | added failure trace information to pattern unification | changeset | files |
2002-10-10 | berghofe | Reimplemented parts of datatype package dealing with datatypes involving | changeset | files |
2002-10-10 | berghofe | Added list_all. | changeset | files |
Loading... |