src/FOLP/FOLP.thy
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