src/FOL/FOL.thy
1998-04-29 wenzelm 1998-04-29 tuned setup;
1998-04-04 wenzelm 1998-04-04 replaced thy_data by thy_setup;
1997-11-03 wenzelm 1997-11-03 added claset thy_data;
1993-09-16 clasohm 1993-09-16 Initial revision