1.1 --- a/src/Pure/context.ML Sun Jan 21 16:43:47 2007 +0100 1.2 +++ b/src/Pure/context.ML Sun Jan 21 16:46:06 2007 +0100 1.3 @@ -681,7 +681,6 @@ 1.4 1.5 end; 1.6 1.7 - 1.8 (*hide private interface*) 1.9 structure Context: CONTEXT = Context; 1.10