src/Provers/classical.ML
changeset 33519 e31a85f92ce9
parent 33369 470a7b233ee5
child 33522 737589bb9bb8
     1.1 --- a/src/Provers/classical.ML	Sun Nov 08 16:28:18 2009 +0100
     1.2 +++ b/src/Provers/classical.ML	Sun Nov 08 16:30:41 2009 +0100
     1.3 @@ -868,7 +868,7 @@
     1.4  
     1.5  (* local clasets *)
     1.6  
     1.7 -structure LocalClaset = ProofDataFun
     1.8 +structure LocalClaset = Proof_Data
     1.9  (
    1.10    type T = claset;
    1.11    val init = get_global_claset;