diff -r b684162d049e -r b92bbfda8de5 src/Pure/Thy/README
--- a/src/Pure/Thy/README	Tue Oct 05 15:30:58 1999 +0200
+++ b/src/Pure/Thy/README	Tue Oct 05 15:31:39 1999 +0200
@@ -7,4 +7,6 @@
   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)