Thu, 08 May 1997 10:19:52 +0200 | paulson | Changed from fast_tac to blast_tac | changeset | files |
Wed, 07 May 1997 18:39:04 +0200 | wenzelm | misc minor improvements; | changeset | files |
Wed, 07 May 1997 18:37:33 +0200 | wenzelm | tuned; | changeset | files |