--- a/src/Pure/context.ML Wed Aug 02 22:26:50 2006 +0200
+++ b/src/Pure/context.ML Wed Aug 02 22:26:51 2006 +0200
@@ -742,3 +742,6 @@
(*hide private interface*)
structure Context: CONTEXT = Context;
+
+(*fake predeclaration*)
+structure Proof = struct type context = Context.proof end;