# HG changeset patch
# User haftmann
# Date 1226342540 -3600
# Node ID 99492b224b7b9659813737dc8b21e55131868ae6
# Parent  c60ac7923a06cdf19ca3f5cd8f00df6cc86bc205
clarified comment

diff -r c60ac7923a06 -r 99492b224b7b src/Pure/library.ML
--- a/src/Pure/library.ML	Mon Nov 10 17:38:23 2008 +0100
+++ b/src/Pure/library.ML	Mon Nov 10 19:42:20 2008 +0100
@@ -3,7 +3,7 @@
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Author:     Markus Wenzel, TU Muenchen
 
-Basic library: functions, options, pairs, booleans, lists, integers,
+Basic library: functions, pairs, booleans, lists, integers,
 strings, lists as sets, orders, current directory, misc.
 
 See also General/basics.ML for the most fundamental concepts.