# HG changeset patch
# User wenzelm
# Date 1114113841 -7200
# Node ID fda379c17260a1009b4d4a08b3c272f0ed6f78cc
# Parent  d2f5ca3c048d88f68d95f303740e5b9e5cb68431
removed;

diff -r d2f5ca3c048d -r fda379c17260 src/Pure/Thy/README
--- 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)