remove primitive operation Heap.array in favour of Heap.array_of_list
## $Id$### targetsdefault: dvi## dependenciesdvi: cd Isar/document; make dvipdf: cd Isar/document; make pdfclean: cd Isar/document; make cleanmrproper: rm -f *.pdf *.dvi cd Isar/document; make mrproper