src/HOL/Tools/reconstruction.ML
changeset 18708 4b3dadb4fe33
parent 17488 67376a311a2b
child 18729 216e31270509
     1.1 --- a/src/HOL/Tools/reconstruction.ML	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/HOL/Tools/reconstruction.ML	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -132,12 +132,12 @@
     1.4  (** theory setup **)
     1.5  
     1.6  val setup =
     1.7 -  [Attrib.add_attributes
     1.8 -     [("binary", (binary_global, binary_local), "binary resolution"),
     1.9 -      ("paramod", (paramod_global, paramod_local), "paramodulation"),
    1.10 -      ("demod", (demod_global, demod_local), "demodulation"),
    1.11 -      ("factor", (factor, factor), "factoring"),
    1.12 -      ("clausify", (clausify, clausify), "conversion to clauses")]];
    1.13 +  Attrib.add_attributes
    1.14 +    [("binary", (binary_global, binary_local), "binary resolution"),
    1.15 +     ("paramod", (paramod_global, paramod_local), "paramodulation"),
    1.16 +     ("demod", (demod_global, demod_local), "demodulation"),
    1.17 +     ("factor", (factor, factor), "factoring"),
    1.18 +     ("clausify", (clausify, clausify), "conversion to clauses")];
    1.19  
    1.20  end
    1.21  end