tuned comment;
authorwenzelm
Thu Apr 13 12:00:58 2006 +0200 (2006-04-13)
changeset 19420bd5c0adec2b1
parent 19419 2d26166aca27
child 19421 1051bde222db
tuned comment;
src/Pure/display.ML
     1.1 --- a/src/Pure/display.ML	Thu Apr 13 12:00:56 2006 +0200
     1.2 +++ b/src/Pure/display.ML	Thu Apr 13 12:00:58 2006 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.5      Copyright   1993  University of Cambridge
     1.6  
     1.7 -Printing of theories, theorems, etc.
     1.8 +Printing of theorems, goals, results etc.
     1.9  *)
    1.10  
    1.11  signature BASIC_DISPLAY =