author | wenzelm |
Wed, 27 Oct 1999 17:09:31 +0200 | |
changeset 7950 | 720af28e6354 |
parent 7949 | 7ad4dd78a9a7 |
child 7951 | b36913c35699 |
--- a/src/Pure/Thy/thy_load.ML Wed Oct 27 17:09:05 1999 +0200 +++ b/src/Pure/Thy/thy_load.ML Wed Oct 27 17:09:31 1999 +0200 @@ -17,6 +17,7 @@ signature THY_LOAD = sig include BASIC_THY_LOAD + val cond_with_path: Path.T -> ('a -> 'b) -> 'a -> 'b val ml_path: string -> Path.T val thy_path: string -> Path.T val check_file: Path.T -> (Path.T * File.info) option