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 |