--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Thy/README	Mon Sep 06 12:49:39 1999 +0200
@@ -0,0 +1,10 @@
+
+				Pure/Thy/
+
+This directory contains the theory loader system, theory presentation
+components, and the parser setup for old-style theory files.
+
+  ThyLoad	(theory loader primitives, including load path)
+  ThyInfo	(theory loader main)
+  HTML		(HTML presentation primitives)
+  ThmDatabase	(user-level access to the theorem database)