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