| Wed, 31 May 2000 11:55:51 +0200 | paulson | added new proofs and simplified an old one | changeset | files |
| Wed, 31 May 2000 11:55:21 +0200 | paulson | new theorems (some from Multiset) | changeset | files |
| Tue, 30 May 2000 18:02:49 +0200 | berghofe | the is now defined using primrec, avoiding explicit use of arbitrary. | changeset | files |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | changeset | files |
| Tue, 30 May 2000 16:03:09 +0200 | wenzelm | global timing flag; | changeset | files |
| Tue, 30 May 2000 16:02:56 +0200 | wenzelm | fixed comment; | changeset | files |
| Tue, 30 May 2000 16:02:27 +0200 | wenzelm | renamed trace/stat_norm_ast to trace/stat_ast; | changeset | files |