src/FOLP/FOLP.ML
2000-07-06 paulson removal of batch style, and tidying
1997-10-10 wenzelm fixed dots;
1996-01-29 clasohm expanded tabs
1995-06-02 lcp Corrected comments in headers
1993-09-16 clasohm Initial revision
less more (0) tip