1.1 --- a/src/Pure/library.ML	Mon Nov 10 17:38:23 2008 +0100
     1.2 +++ b/src/Pure/library.ML	Mon Nov 10 19:42:20 2008 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.5      Author:     Markus Wenzel, TU Muenchen
     1.6  
     1.7 -Basic library: functions, options, pairs, booleans, lists, integers,
     1.8 +Basic library: functions, pairs, booleans, lists, integers,
     1.9  strings, lists as sets, orders, current directory, misc.
    1.10  
    1.11  See also General/basics.ML for the most fundamental concepts.