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.
tuned HeapFun;
authorwenzelm
Sun, 23 Jul 2000 12:05:23 +0200
changeset 9412 55e8230f5665
parent 9411 0d5a171db2f0
child 9413 ba209591a8d4
tuned HeapFun;
src/Pure/General/README file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/README	Sun Jul 23 12:04:56 2000 +0200
+++ b/src/Pure/General/README	Sun Jul 23 12:05:23 2000 +0200
@@ -9,7 +9,7 @@
   Symtab        (tables indexed by strings)
   GraphFun	(generic directed graphs)
   Graph		(graphs indexed by strings)
-  LeftistHeap	(heaps over linearly ordered types)
+  HeapFun	(heaps over linearly ordered types)
   Object        (generic objects of arbitrary type)
   Seq           (unbounded sequences)
   NameSpace     (hierarchically structured name spaces)
isabelle