src/Pure/Thy/thy_load.scala
changeset 48710 5b51ccdc8623
parent 48707 ba531af91148
child 48711 8d381fdef898
equal deleted inserted replaced
48709:719f458cd89e 48710:5b51ccdc8623
    24 {
    24 {
    25   /* loaded theories provided by prover */
    25   /* loaded theories provided by prover */
    26 
    26 
    27   private var loaded_theories: Set[String] = preloaded
    27   private var loaded_theories: Set[String] = preloaded
    28 
    28 
    29   def register_thy(thy_name: String): Unit =
    29   def register_thy(name: String): Unit =
    30     synchronized { loaded_theories += thy_name }
    30     synchronized { loaded_theories += name }
       
    31 
       
    32   def register_thys(names: Set[String]): Unit =
       
    33     synchronized { loaded_theories ++= names }
    31 
    34 
    32   def is_loaded(thy_name: String): Boolean =
    35   def is_loaded(thy_name: String): Boolean =
    33     synchronized { loaded_theories.contains(thy_name) }
    36     synchronized { loaded_theories.contains(thy_name) }
    34 
    37 
    35 
    38