doc-src/Logics/logics.ind
Mon, 12 May 1997 16:44:58 +0200 wenzelm SYNC;
Fri, 09 May 1997 19:42:09 +0200 wenzelm SYNC;
Fri, 02 May 1997 16:18:49 +0200 berghofe Updated to LaTeX 2e
Thu, 20 Feb 1997 16:09:41 +0100 wenzelm added index info;
less more (0) tip