TFL/dcterm.sml
Thu, 05 Jun 1997 13:27:28 +0200 paulson Numerous simplifications and removal of HOL-isms
Tue, 03 Jun 1997 11:08:08 +0200 paulson More de-HOLification: using Free, Const, etc. instead of mk_var, mk_const
Mon, 26 May 1997 12:27:58 +0200 paulson Deleted unused functions
Thu, 22 May 1997 15:13:16 +0200 paulson New headers and other minor changes
Tue, 20 May 1997 11:49:57 +0200 paulson Removal of redundant code (unused or already present in Isabelle.
Fri, 18 Oct 1996 12:41:04 +0200 paulson Konrad Slind's TFL
less more (0) tip