Produces a configuration with the specified paths, preceded by the location from this object.
Checks presence of a theory file in this location.
Checks presence of a theory file in this location. The input path should
be a relative file name (e.g. src/HOL/ex/Seq.thy
). If present, the
output is an Isabelle-conforming theory import path
(e.g. src/HOL/ex/Seq
).
A file system location containing Isabelle sources.
In almost all cases, instances of this object should be produced using
Resources.dumpIsabelleResources
(see its documentation for details).