src/Pure/Thy/thy_load.scala
author wenzelm
Mon, 04 Jul 2011 16:27:11 +0200
changeset 43651 511df47bcadc
child 43673 29eb1cd29961
permissions -rw-r--r--
some support for theory files within Isabelle/Scala session;

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

Loading files that contribute to a theory.
*/

package isabelle

abstract class Thy_Load
{
  def check_thy(dir: Path, name: String): (String, Thy_Header.Header)
}