Wed, 02 Apr 1997 11:32:48 +0200 | paulson | Now declares Basis Library version of type option | changeset | files |
Wed, 02 Apr 1997 11:30:48 +0200 | paulson | Replaced Best_tac by the one rule needed for the proof | changeset | files |
Wed, 02 Apr 1997 11:30:03 +0200 | paulson | Installation of blast_tac | changeset | files |