TFL/post.sml
1997-01-03 paulson 1997-01-03 Conversion to Basis Library (using prs instead of output)
1996-10-18 paulson 1996-10-18 Konrad Slind's TFL