TFL/thms.sig
Fri, 23 Apr 1999 12:23:21 +0200 paulson Now for recdefs that omit the WF relation;
Mon, 23 Jun 1997 11:30:35 +0200 paulson Removal of COND_CONG, which is just if_cong RS eq_reflection
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