src/Pure/display.ML

--- a/src/Pure/display.ML	Thu Apr 13 12:00:56 2006 +0200
+++ b/src/Pure/display.ML	Thu Apr 13 12:00:58 2006 +0200
@@ -3,7 +3,7 @@
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
-Printing of theories, theorems, etc.
+Printing of theorems, goals, results etc.
 *)
 
 signature BASIC_DISPLAY =