Tue, 01 Aug 1995 17:17:49 +0200 | wenzelm | added nonempty_sort (a somewhat braindead version!); | changeset | files |
Tue, 01 Aug 1995 12:36:05 +0200 | nipkow | Added nonempty_sort. | changeset | files |
Fri, 28 Jul 1995 19:17:03 +0200 | nipkow | added section on "Reordering assumptions". | changeset | files |