diff -r 24563731b9b2 -r e31a85f92ce9 src/Pure/assumption.ML
--- 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 ([], []);