| Wed, 22 Jun 2005 19:43:48 +0200 | nipkow | tunes Find | changeset | files |
| Wed, 22 Jun 2005 19:43:38 +0200 | nipkow | added Rules/find2 | changeset | files |
| Wed, 22 Jun 2005 19:41:30 +0200 | wenzelm | tuned pointer_eq; | changeset | files |
| Wed, 22 Jun 2005 19:41:29 +0200 | wenzelm | renamed data kind; | changeset | files |