# HG changeset patch
# User wenzelm
# Date 1144922458 -7200
# Node ID bd5c0adec2b16fc1f54bfcbf41e050a0c77206da
# Parent  2d26166aca27ec36ca6a37fcefbd89e93c2f03e8
tuned comment;

diff -r 2d26166aca27 -r bd5c0adec2b1 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 =