src/FOLP/FOLP.thy
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2011-05-14 wenzelm 2011-05-14 modernized functor names; tuned;
2011-02-18 wenzelm 2011-02-18 modernized specifications;
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2008-03-18 wenzelm 2008-03-18 converted legacy ML scripts;
2007-04-04 wenzelm 2007-04-04 ML antiquotes;
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-06-02 lcp 1995-06-02 Corrected comments in headers
1993-09-16 clasohm 1993-09-16 Initial revision