doc-src/Logics/logics.rao
Sat, 24 Oct 1998 17:16:20 +0200 wenzelm *** empty log message ***
Fri, 23 Oct 1998 16:27:56 +0200 berghofe Updated to new datatype package.
Fri, 23 Oct 1998 12:31:23 +0200 wenzelm started to add records;
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 15:24:03 +0100 wenzelm rail output;
less more (0) tip