src/Pure/Thy/thy_load.scala
author wenzelm
Mon Jul 04 16:27:11 2011 +0200 (2011-07-04)
changeset 43651 511df47bcadc
child 43673 29eb1cd29961
permissions -rw-r--r--
some support for theory files within Isabelle/Scala session;
wenzelm@43651
     1
/*  Title:      Pure/Thy/thy_load.scala
wenzelm@43651
     2
    Author:     Makarius
wenzelm@43651
     3
wenzelm@43651
     4
Loading files that contribute to a theory.
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@43651
    11
  def check_thy(dir: Path, name: String): (String, Thy_Header.Header)
wenzelm@43651
    12
}
wenzelm@43651
    13