src/HOLCF/porder0.thy
1994-03-24 nipkow 1994-03-24 structural induction for strict lists