# HG changeset patch
# User wenzelm
# Date 1114278714 -7200
# Node ID b805d85909c7d8f45348058ec156415aa19db36b
# Parent  fdf678bec5678449609d6c36eb7009031c0d209e
tuned comment;

diff -r fdf678bec567 -r b805d85909c7 src/Pure/Thy/thm_database.ML
--- 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 =