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 |
Fri, 28 Jul 1995 18:05:50 +0200 | nipkow | added rotate_tac | changeset | files |