src/Pure/Thy/thy_load.scala
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)
+}
+