--- a/src/Pure/Thy/README Thu Apr 21 22:02:06 2005 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-
- 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)
- Latex (simple LaTeX presentation primitives)
- Present (theory browser info presentation)
- ThmDatabase (user-level access to the theorem database)