comment;

--- a/src/Pure/Thy/thy_load.ML	Fri Mar 12 18:48:51 1999 +0100
+++ b/src/Pure/Thy/thy_load.ML	Fri Mar 12 18:49:02 1999 +0100
@@ -24,6 +24,7 @@
   val load_thy: string -> bool -> bool -> (Path.T * File.info) list
 end;
 
+(*backdoor sealed later*)
 signature PRIVATE_THY_LOAD =
 sig
   include THY_LOAD