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