List.ML
Mon, 29 Nov 1993 18:35:02 +0100 nipkow changed simpsets
Wed, 03 Nov 1993 19:02:17 +0100 nipkow added append "@"
Thu, 07 Oct 1993 10:20:30 +0100 lcp added ~= for "not equals" and added ~: for "not in"
Thu, 16 Sep 1993 12:21:07 +0200 clasohm Initial revision
less more (0) tip