diff -r 719f458cd89e -r 5b51ccdc8623 src/Pure/Thy/thy_load.scala --- a/src/Pure/Thy/thy_load.scala Tue Aug 07 16:34:15 2012 +0200 +++ b/src/Pure/Thy/thy_load.scala Tue Aug 07 17:08:22 2012 +0200 @@ -26,8 +26,11 @@ private var loaded_theories: Set[String] = preloaded - def register_thy(thy_name: String): Unit = - synchronized { loaded_theories += thy_name } + def register_thy(name: String): Unit = + synchronized { loaded_theories += name } + + def register_thys(names: Set[String]): Unit = + synchronized { loaded_theories ++= names } def is_loaded(thy_name: String): Boolean = synchronized { loaded_theories.contains(thy_name) }