src/Pure/Thy/thy_load.scala

--- a/src/Pure/Thy/thy_load.scala	Mon Aug 29 16:38:56 2011 +0200
+++ b/src/Pure/Thy/thy_load.scala	Mon Aug 29 21:55:49 2011 +0200
@@ -8,8 +8,9 @@
 
 abstract class Thy_Load
 {
-  def is_loaded(name: String): Boolean
-
-  def check_thy(dir: Path, name: String): (String, Thy_Header)
+  def register_thy(thy_name: String)
+  def is_loaded(thy_name: String): Boolean
+  def append(master_dir: String, path: Path): String
+  def check_thy(node_name: String): Thy_Header
 }