Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified comment
authorhaftmann
Mon, 10 Nov 2008 19:42:20 +0100
changeset 28732 99492b224b7b
parent 28731 c60ac7923a06
child 28733 18ffcbf1b3ae
clarified comment
src/Pure/library.ML file | annotate | diff | comparison | revisions 
--- 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.
isabelle