src/Provers/classical.ML
changeset 18708 4b3dadb4fe33
parent 18691 a2dc15d9d6c8
child 18728 6790126ab5f6
     1.1 --- a/src/Provers/classical.ML	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/Provers/classical.ML	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -155,7 +155,7 @@
     1.4    val cla_meth': (claset -> int -> tactic) -> thm list -> Proof.context -> Proof.method
     1.5    val cla_method: (claset -> tactic) -> Method.src -> Proof.context -> Proof.method
     1.6    val cla_method': (claset -> int -> tactic) -> Method.src -> Proof.context -> Proof.method
     1.7 -  val setup: (theory -> theory) list
     1.8 +  val setup: theory -> theory
     1.9  end;
    1.10  
    1.11  
    1.12 @@ -1080,7 +1080,7 @@
    1.13  
    1.14  (** theory setup **)
    1.15  
    1.16 -val setup = [GlobalClaset.init, LocalClaset.init, setup_attrs, setup_methods];
    1.17 +val setup = GlobalClaset.init #> LocalClaset.init #> setup_attrs #> setup_methods;
    1.18  
    1.19  
    1.20