Now loads blast_tac
authorpaulson
Wed Apr 02 11:23:31 1997 +0200 (1997-04-02)
changeset 2857848bce5fe8ad
parent 2856 cdb908486a96
child 2858 1f3f5c44e159
Now loads blast_tac
src/HOL/ROOT.ML
     1.1 --- a/src/HOL/ROOT.ML	Wed Apr 02 11:19:46 1997 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Wed Apr 02 11:23:31 1997 +0200
     1.3 @@ -19,6 +19,7 @@
     1.4  use "../Provers/splitter.ML";
     1.5  use "../Provers/hypsubst.ML";
     1.6  use "../Provers/classical.ML";
     1.7 +use "../Provers/blast.ML";
     1.8  use "../Provers/nat_transitive.ML";
     1.9  
    1.10