src/FOL/ex/First_Order_Logic.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2009-07-09 wenzelm 2009-07-09 removed obsolete CVS Ids;
2008-05-18 wenzelm 2008-05-18 converted to regular application syntax;
2006-12-29 wenzelm 2006-12-29 tuned specifications/proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-12-05 wenzelm 2001-12-05 iff;
2001-12-05 wenzelm 2001-12-05 added First_Order_Logic.thy;