src/FOL/FOL.thy
Sat, 04 Apr 1998 12:28:39 +0200 wenzelm replaced thy_data by thy_setup;
Mon, 03 Nov 1997 12:26:58 +0100 wenzelm added claset thy_data;
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip