src/Pure/assumption.ML
changeset 33519 e31a85f92ce9
parent 30479 fc58fb1f83ad
child 33955 fff6f11b1f09
     1.1 --- a/src/Pure/assumption.ML	Sun Nov 08 16:28:18 2009 +0100
     1.2 +++ b/src/Pure/assumption.ML	Sun Nov 08 16:30:41 2009 +0100
     1.3 @@ -60,7 +60,7 @@
     1.4  
     1.5  fun make_data (assms, prems) = Data {assms = assms, prems = prems};
     1.6  
     1.7 -structure Data = ProofDataFun
     1.8 +structure Data = Proof_Data
     1.9  (
    1.10    type T = data;
    1.11    fun init _ = make_data ([], []);