author | haftmann |
Mon, 10 Nov 2008 19:42:20 +0100 | |
changeset 28732 | 99492b224b7b |
parent 28731 | c60ac7923a06 |
child 28733 | 18ffcbf1b3ae |
--- 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.