Tue, 16 Jul 1996 15:49:46 +0200 | paulson | Put in minimal simpset to avoid excessive simplification, | changeset | files |
Tue, 16 Jul 1996 15:48:27 +0200 | paulson | corrected comment | changeset | files |
Tue, 16 Jul 1996 15:47:07 +0200 | paulson | Acknowledged Stefan Berghofer for finding errors | changeset | files |
Tue, 16 Jul 1996 15:45:36 +0200 | paulson | Fixed typo regarding lifting over P|P | changeset | files |
Tue, 16 Jul 1996 15:44:31 +0200 | paulson | Increased revision number | changeset | files |
Tue, 16 Jul 1996 15:44:21 +0200 | paulson | Tidied up; added "syntax" decl | changeset | files |