Tue, 20 Jun 2000 11:54:22 +0200 | paulson | new module for heaps | changeset | files |
Tue, 20 Jun 2000 11:54:07 +0200 | paulson | now uses the heap data structure for BEST_FIRST | changeset | files |
Tue, 20 Jun 2000 11:53:35 +0200 | paulson | new file heap.ML | changeset | files |