changeset 40625 | 2d9222a2239d |
parent 38757 | 2b3e054ae6fc |
child 40741 | 17d6293a1e26 |
--- a/src/Pure/Thy/thy_load.ML Fri Nov 19 09:07:23 2010 -0800 +++ b/src/Pure/Thy/thy_load.ML Fri Nov 19 21:14:12 2010 +0100 @@ -20,7 +20,6 @@ val set_master_path: Path.T -> unit val get_master_path: unit -> Path.T val master_directory: theory -> Path.T - val require: Path.T -> theory -> theory val provide: Path.T * (Path.T * File.ident) -> theory -> theory val check_file: Path.T list -> Path.T -> Path.T * File.ident val check_thy: Path.T -> string -> Path.T * File.ident