TFL/utils.sml
1997-06-03 paulson More de-HOLification: using Free, Const, etc. instead of mk_var, mk_const
1997-05-26 paulson Deleted unused functions
1997-05-22 paulson New headers and other minor changes
1997-05-20 paulson Removal of redundant code (unused or already present in Isabelle.
1997-05-15 paulson TFL now integrated with HOL (more work needed)
1997-01-03 paulson Conversion to Basis Library (using prs instead of output)
1996-10-18 paulson Konrad Slind's TFL
less more (0) tip