Mon, 31 Oct 1994 18:07:29 +0100 | lcp | com1,2: added simplifier calls to remove use of ssubst in fast_tac | changeset | files |
Mon, 31 Oct 1994 18:03:14 +0100 | lcp | Pure/tctical/THEN_ELSE: new | changeset | files |
Mon, 31 Oct 1994 18:01:02 +0100 | lcp | Pure/tactic/build_netpair: now takes two arguments | changeset | files |