changeset 43651 | 511df47bcadc |
child 43673 | 29eb1cd29961 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Pure/Thy/thy_load.scala Mon Jul 04 16:27:11 2011 +0200 @@ -0,0 +1,13 @@ +/* Title: Pure/Thy/thy_load.scala + Author: Makarius + +Loading files that contribute to a theory. +*/ + +package isabelle + +abstract class Thy_Load +{ + def check_thy(dir: Path, name: String): (String, Thy_Header.Header) +} +