| Mon, 15 Jul 1996 12:36:56 +0200 | nipkow | Documented simplification tactics which make use of the implicit simpset. | changeset | files |
| Mon, 15 Jul 1996 10:41:30 +0200 | berghofe | updated syntax of primrec definitions | changeset | files |
| Fri, 12 Jul 1996 20:46:32 +0200 | oheimb | *** empty log message *** | changeset | files |
| Fri, 12 Jul 1996 20:46:03 +0200 | oheimb | bug fix: Glam_ast_tr | changeset | files |
| Fri, 12 Jul 1996 20:43:12 +0200 | oheimb | added configuration for STEM | changeset | files |
| Fri, 12 Jul 1996 20:41:24 +0200 | oheimb | minor bug fix | changeset | files |
| Fri, 12 Jul 1996 17:53:15 +0200 | berghofe | updated syntax of primrec definitions | changeset | files |