doc-src/Logics/logics.rao
Sat, 03 Apr 1999 13:05:42 +0200 wenzelm fixed;
Wed, 31 Mar 1999 16:14:20 +0200 nipkow useless relic
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