author wenzelm
Tue, 05 Jul 2011 22:39:15 +0200
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;

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

Loading files that contribute to a theory.

package isabelle

abstract class Thy_Load
  def is_loaded(name: String): Boolean

  def check_thy(dir: Path, name: String): (String, Thy_Header.Header)