src/FOL/ex/Prolog.thy
Sat, 15 Mar 2008 22:07:26 +0100 wenzelm proper antiquotations;
Wed, 07 Jun 2006 23:21:55 +0200 wenzelm removed obsolete ML files;
Sat, 03 Sep 2005 17:15:51 +0200 wenzelm converted to Isar theory format;
Mon, 05 Feb 1996 13:44:28 +0100 clasohm expanded tabs
Tue, 07 Nov 1995 12:58:17 +0100 clasohm removed quotes from types in consts section
Tue, 03 May 1994 15:00:00 +0200 lcp removal of obsolete type-declaration syntax
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip