src/Pure/Thy/thy_load.scala
changeset 44574 24444588fddd
parent 44159 9a35e88d9dc9
child 44577 96b6388d06c4
equal deleted inserted replaced
44573:51f8895b9ad9 44574:24444588fddd
     6 
     6 
     7 package isabelle
     7 package isabelle
     8 
     8 
     9 abstract class Thy_Load
     9 abstract class Thy_Load
    10 {
    10 {
    11   def is_loaded(name: String): Boolean
    11   def register_thy(thy_name: String)
    12 
    12   def is_loaded(thy_name: String): Boolean
    13   def check_thy(dir: Path, name: String): (String, Thy_Header)
    13   def append(master_dir: String, path: Path): String
       
    14   def check_thy(node_name: String): Thy_Header
    14 }
    15 }
    15 
    16