author wenzelm
Mon, 29 Aug 2011 21:55:49 +0200
changeset 44574 24444588fddd
parent 44159 9a35e88d9dc9
child 44577 96b6388d06c4
permissions -rw-r--r--
actual auto loading of required files; eliminated File_Store in favour of Thy_Load; tuned;

/*  Title:      Pure/Thy/thy_load.scala
    Author:     Makarius

Loading files that contribute to a theory.

package isabelle

abstract class Thy_Load
  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