src/Pure/Thy/thy_load.scala
author wenzelm
Thu Sep 01 13:39:40 2011 +0200 (2011-09-01)
changeset 44616 4beeaf2a226d
parent 44615 a4ff8a787202
child 44953 cdfe42f1267c
permissions -rw-r--r--
tuned signature;
wenzelm@43651
     1
/*  Title:      Pure/Thy/thy_load.scala
wenzelm@43651
     2
    Author:     Makarius
wenzelm@43651
     3
wenzelm@44577
     4
Primitives for loading theory files.
wenzelm@43651
     5
*/
wenzelm@43651
     6
wenzelm@43651
     7
package isabelle
wenzelm@43651
     8
wenzelm@43651
     9
abstract class Thy_Load
wenzelm@43651
    10
{
wenzelm@44574
    11
  def register_thy(thy_name: String)
wenzelm@44574
    12
  def is_loaded(thy_name: String): Boolean
wenzelm@44616
    13
  def append(dir: String, path: Path): String
wenzelm@44615
    14
  def check_thy(node_name: Document.Node.Name): Thy_Header
wenzelm@43651
    15
}
wenzelm@43651
    16