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