src/Pure/context.ML
changeset 20297 a9a917b356af
parent 19815 4820c3d52548
child 20821 bae9a1002d84
     1.1 --- a/src/Pure/context.ML	Wed Aug 02 22:26:50 2006 +0200
     1.2 +++ b/src/Pure/context.ML	Wed Aug 02 22:26:51 2006 +0200
     1.3 @@ -742,3 +742,6 @@
     1.4  
     1.5  (*hide private interface*)
     1.6  structure Context: CONTEXT = Context;
     1.7 +
     1.8 +(*fake predeclaration*)
     1.9 +structure Proof = struct type context = Context.proof end;