src/Pure/Thy/thy_load.scala
author wenzelm
Mon Jul 04 16:27:11 2011 +0200 (2011-07-04 ago)
changeset 43651 511df47bcadc
child 43673 29eb1cd29961
permissions -rw-r--r--
some support for theory files within Isabelle/Scala session;
     1 /*  Title:      Pure/Thy/thy_load.scala
     2     Author:     Makarius
     3 
     4 Loading files that contribute to a theory.
     5 */
     6 
     7 package isabelle
     8 
     9 abstract class Thy_Load
    10 {
    11   def check_thy(dir: Path, name: String): (String, Thy_Header.Header)
    12 }
    13