do not export Thy_Load.required, to avoid confusion about the interface;
authorwenzelm
Fri Nov 19 21:14:12 2010 +0100 (2010-11-19)
changeset 406252d9222a2239d
parent 40624 2df58ba31be7
child 40626 d86540f6ea0d
do not export Thy_Load.required, to avoid confusion about the interface;
src/Pure/Thy/thy_load.ML
     1.1 --- a/src/Pure/Thy/thy_load.ML	Fri Nov 19 09:07:23 2010 -0800
     1.2 +++ b/src/Pure/Thy/thy_load.ML	Fri Nov 19 21:14:12 2010 +0100
     1.3 @@ -20,7 +20,6 @@
     1.4    val set_master_path: Path.T -> unit
     1.5    val get_master_path: unit -> Path.T
     1.6    val master_directory: theory -> Path.T
     1.7 -  val require: Path.T -> theory -> theory
     1.8    val provide: Path.T * (Path.T * File.ident) -> theory -> theory
     1.9    val check_file: Path.T list -> Path.T -> Path.T * File.ident
    1.10    val check_thy: Path.T -> string -> Path.T * File.ident