| Fri, 09 Jul 2010 09:48:52 +0200 | haftmann | tuned array theory | file | diff | annotate |
| Mon, 05 Jul 2010 16:46:23 +0200 | haftmann | moved "open" operations from Heap.thy to Array.thy and Ref.thy | file | diff | annotate |
| Mon, 05 Jul 2010 15:25:42 +0200 | haftmann | remove primitive operation Heap.array in favour of Heap.array_of_list | file | diff | annotate |