src/HOL/Tools/ATP/res_clasimpset.ML
changeset 15789 4cb16144c81b
parent 15782 a1863ea9052b
child 15872 8336ff711d80
equal deleted inserted replaced
15788:ebcbffebdf97 15789:4cb16144c81b
       
     1 (*  ID:         $Id$
       
     2     Author:     Claire Quigley
       
     3     Copyright   2004  University of Cambridge
       
     4 *)
       
     5 
     1 (* Get claset rules *)
     6 (* Get claset rules *)
     2 
     7 
     3 
     8 
     4 
     9 
     5 fun remove_all [] rules = rules
    10 fun remove_all [] rules = rules