src/Pure/General/README
changeset 9119 8ca79837b41b
parent 9095 3b26cc949016
child 9412 55e8230f5665
--- a/src/Pure/General/README	Sun Jun 25 23:45:26 2000 +0200
+++ b/src/Pure/General/README	Sun Jun 25 23:45:47 2000 +0200
@@ -9,6 +9,7 @@
   Symtab        (tables indexed by strings)
   GraphFun	(generic directed graphs)
   Graph		(graphs indexed by strings)
+  LeftistHeap	(heaps over linearly ordered types)
   Object        (generic objects of arbitrary type)
   Seq           (unbounded sequences)
   NameSpace     (hierarchically structured name spaces)
@@ -22,6 +23,3 @@
   Buffer	(simple string buffers)
   History       (histories of values, with undo and redo)
   Pretty        (generic pretty printing module)
-
-Functor LeftistHeap implements heaps, which are used for best-first search.
-It must be instantiated with a linearly ordered type.