src/Provers/blast.ML
Wed, 02 Apr 1997 11:15:46 +0200 paulson Implementation of blast_tac: fast tableau prover
less more (0) tip