src/FOL/ex/foundn.ML
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Thu, 29 Jun 2000 22:48:08 +0200 wenzelm improved arrangement of files;
Fri, 10 Oct 1997 15:52:12 +0200 wenzelm fixed dots;
Mon, 05 Feb 1996 13:44:28 +0100 clasohm expanded tabs
Mon, 29 Jan 1996 13:58:15 +0100 clasohm expanded tabs
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip