--- a/src/Pure/Thy/thm_database.ML Sat Apr 23 19:51:45 2005 +0200
+++ b/src/Pure/Thy/thm_database.ML Sat Apr 23 19:51:54 2005 +0200
@@ -2,7 +2,7 @@
ID: $Id$
Author: Markus Wenzel, TU Muenchen
-Interface to the theorem database.
+Theorem database ML interface.
*)
signature BASIC_THM_DATABASE =