doc-src/Logics/CTT-eg.txt
Thu, 16 Jul 1998 11:50:01 +0200 paulson Got rid of obsolete "goal" commands.
Tue, 03 May 1994 18:38:28 +0200 lcp final Springer version
Fri, 12 Nov 1993 11:43:35 +0100 lcp Misc updates
Wed, 10 Nov 1993 05:00:57 +0100 lcp Initial revision
less more (0) tip