| changeset 17366 | 325707c676e2 |
| parent 16269 | 2c05a7f662a3 |
| child 21858 | 05f57309170c |
--- a/src/Pure/Thy/thy_load.ML Tue Sep 13 22:19:50 2005 +0200 +++ b/src/Pure/Thy/thy_load.ML Tue Sep 13 22:19:51 2005 +0200 @@ -20,6 +20,7 @@ sig include BASIC_THY_LOAD val cond_add_path: Path.T -> ('a -> 'b) -> 'a -> 'b + val ml_exts: string list val ml_path: string -> Path.T val thy_path: string -> Path.T val check_file: Path.T option -> Path.T -> (Path.T * File.info) option