src/Provers/classical.ML

--- a/src/Provers/classical.ML	Thu Jan 19 15:45:10 2006 +0100
+++ b/src/Provers/classical.ML	Thu Jan 19 21:22:08 2006 +0100
@@ -155,7 +155,7 @@
   val cla_meth': (claset -> int -> tactic) -> thm list -> Proof.context -> Proof.method
   val cla_method: (claset -> tactic) -> Method.src -> Proof.context -> Proof.method
   val cla_method': (claset -> int -> tactic) -> Method.src -> Proof.context -> Proof.method
-  val setup: (theory -> theory) list
+  val setup: theory -> theory
 end;
 
 
@@ -1080,7 +1080,7 @@
 
 (** theory setup **)
 
-val setup = [GlobalClaset.init, LocalClaset.init, setup_attrs, setup_methods];
+val setup = GlobalClaset.init #> LocalClaset.init #> setup_attrs #> setup_methods;