src/FOLP/IFOLP.ML
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2000-07-06 paulson 2000-07-06 removal of batch style, and tidying
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-06-02 lcp 1995-06-02 Corrected comments in headers
1993-09-16 clasohm 1993-09-16 Initial revision