src/FOL/IFOL.thy
Wed, 27 Nov 1996 16:42:48 +0100 wenzelm symbol names changes;
Mon, 18 Nov 1996 17:33:35 +0100 wenzelm added symbolfont syntax;
Tue, 07 Nov 1995 12:58:17 +0100 clasohm removed quotes from types in consts section
Thu, 05 Oct 1995 14:45:54 +0100 clasohm corrected title
Tue, 07 Mar 1995 13:15:25 +0100 lcp Moved declaration of ~= to a syntax section
Thu, 17 Mar 1994 11:24:31 +0100 clasohm adapted type definition to new syntax
Mon, 25 Oct 1993 12:32:53 +0100 wenzelm added white-space;
Thu, 07 Oct 1993 09:47:47 +0100 lcp ifol.thy: added ~= for "not equals"
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip