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 |
Fri, 28 Jul 1995 18:05:50 +0200 | nipkow | added rotate_tac | changeset | files |
Fri, 28 Jul 1995 18:05:25 +0200 | paulson | changed AC_... to OrdQuant_... | changeset | files |
Fri, 28 Jul 1995 17:41:31 +0200 | paulson | Version of the proof macros for LaTeX 2.09 | changeset | files |
Fri, 28 Jul 1995 17:24:53 +0200 | nipkow | added rotate_tac. | changeset | files |