src/FOLP/FOLP.thy
2015-10-06 wenzelm 2015-10-06 fewer aliases for toplevel theorem statements;
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-02-10 wenzelm 2015-02-10 proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
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