export thy_path;

--- a/src/Pure/Thy/thy_load.ML	Thu Oct 21 18:43:06 1999 +0200
+++ b/src/Pure/Thy/thy_load.ML	Thu Oct 21 18:43:21 1999 +0200
@@ -18,6 +18,7 @@
 sig
   include BASIC_THY_LOAD
   val ml_path: string -> Path.T
+  val thy_path: string -> Path.T
   val check_file: Path.T -> (Path.T * File.info) option
   val may_load_file: bool -> Path.T -> (Path.T * File.info)
   eqtype master