TFL/dcterm.sml
1996-10-18 paulson 1996-10-18 Konrad Slind's TFL