src/FOLP/IFOLP.ML
Fri, 02 Jun 1995 10:38:48 +0200 lcp Corrected comments in headers
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip