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