2019-08-20 | wenzelm | clarified signature; | file | diff | annotate |
2009-10-15 | wenzelm | renamed functor HeapFun to Heap; | file | diff | annotate |
2009-09-30 | wenzelm | eliminated redundant bindings; | file | diff | annotate |
2009-01-21 | wenzelm | removed Ids; | file | diff | annotate |
2008-10-14 | wenzelm | added min_elem, upto; | file | diff | annotate |
2007-05-31 | wenzelm | insert: canonical argument order; | file | diff | annotate |
2005-11-09 | wenzelm | use existing exeption Empty; | file | diff | annotate |
2004-06-21 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
2004-03-19 | paulson | Removing the datatype declaration of "order" allows the standard General.order | file | diff | annotate |
2000-07-23 | wenzelm | assimilated; | file | diff | annotate |
2000-06-20 | paulson | new module for heaps | file | diff | annotate |