src/Pure/Thy/thy_load.scala
author wenzelm
Tue Jul 05 22:39:15 2011 +0200 (2011-07-05 ago)
changeset 43673 29eb1cd29961
parent 43651 511df47bcadc
child 44159 9a35e88d9dc9
permissions -rw-r--r--
Thy_Info.dependencies: ignore already loaded theories, according to initial prover session status;
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@43673
    11
  def is_loaded(name: String): Boolean
wenzelm@43673
    12
wenzelm@43651
    13
  def check_thy(dir: Path, name: String): (String, Thy_Header.Header)
wenzelm@43651
    14
}
wenzelm@43651
    15