src/HOLCF/dlist.ML
Thu, 24 Mar 1994 13:43:45 +0100 nipkow structural induction for strict lists
less more (0) tip