changeset 48897 | 873fdafc5b09 |
parent 48896 | bb1f461a7815 |
child 48898 | 9fc880720663 |
--- a/src/Pure/Thy/thy_load.ML Thu Aug 23 11:58:10 2012 +0200 +++ b/src/Pure/Thy/thy_load.ML Thu Aug 23 12:00:11 2012 +0200 @@ -9,7 +9,6 @@ val master_directory: theory -> Path.T val imports_of: theory -> string list val provide: Path.T * SHA1.digest -> theory -> theory - val check_file: Path.T -> Path.T -> Path.T val thy_path: Path.T -> Path.T val check_thy: Thy_Header.keywords -> Path.T -> string -> {master: Path.T * SHA1.digest, text: string, imports: string list,