wneuper/isa: src/Pure/Thy/thy_load.scala@29eb1cd29961

src/Pure/Thy/thy_load.scala

Thy_Info.dependencies: ignore already loaded theories, according to initial prover session status;

     1 /*  Title:      Pure/Thy/thy_load.scala

     2     Author:     Makarius

     4 Loading files that contribute to a theory.

     5 */

     7 package isabelle

     9 abstract class Thy_Load

    10 {

    11   def is_loaded(name: String): Boolean

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

    14 }

wneuper/isa