TFL/usyntax.sig
1997-06-05 paulson Numerous simplifications and removal of HOL-isms
1997-06-03 paulson More de-HOLification: using Free, Const, etc. instead of mk_var, mk_const
1997-05-27 paulson Removal of module Mask and datatype binding with its constructor |->
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.
1996-10-18 paulson Konrad Slind's TFL
less more (0) tip