src/Pure/Thy/thy_load.scala
changeset 43673 29eb1cd29961
parent 43651 511df47bcadc
child 44159 9a35e88d9dc9
equal deleted inserted replaced
43672:e9f26e66692d 43673:29eb1cd29961
     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
       
    12 
    11   def check_thy(dir: Path, name: String): (String, Thy_Header.Header)
    13   def check_thy(dir: Path, name: String): (String, Thy_Header.Header)
    12 }
    14 }
    13 
    15