src/Tools/agrep
Fri, 16 Feb 1996 18:00:47 +0100 paulson Elimination of fully-functorial style.
Mon, 21 Nov 1994 10:39:32 +0100 lcp now searches all subdirectories of object-logics
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip