Thu, 13 Aug 1998 17:29:18 +0200 | paulson | Blast_tac is faster | changeset | files |
Thu, 13 Aug 1998 17:28:52 +0200 | paulson | stac now handles definitions as well as equalities | changeset | files |
Thu, 13 Aug 1998 17:28:19 +0200 | paulson | stac | changeset | files |