src/HOLCF/dlist.ML
1994-03-24 nipkow 1994-03-24 structural induction for strict lists