--- a/src/Pure/Thy/thy_load.scala Mon Aug 29 22:10:08 2011 +0200
+++ b/src/Pure/Thy/thy_load.scala Tue Aug 30 11:43:47 2011 +0200
@@ -1,7 +1,7 @@
/* Title: Pure/Thy/thy_load.scala
Author: Makarius
-Loading files that contribute to a theory.
+Primitives for loading theory files.
*/
package isabelle