TFL/rules.new.sml
Mon, 26 May 1997 12:29:10 +0200 paulson More de-HOL-ification
Thu, 22 May 1997 15:13:16 +0200 paulson New headers and other minor changes
Wed, 21 May 1997 10:58:24 +0200 paulson Basis library input/output primitives; \!simpset instead of HOL_ss
Tue, 20 May 1997 11:49:57 +0200 paulson Removal of redundant code (unused or already present in Isabelle.
Thu, 15 May 1997 12:29:59 +0200 paulson TFL now integrated with HOL (more work needed)
Fri, 03 Jan 1997 10:45:31 +0100 paulson Conversion to Basis Library (using prs instead of output)
Fri, 18 Oct 1996 12:41:04 +0200 paulson Konrad Slind's TFL
less more (0) tip