TFL/WF1.thy
1996-10-18 paulson 1996-10-18 Konrad Slind's TFL