src/HOL/Library/Heap.thy
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-05-17 wenzelm 2008-05-17 avoid undeclared variables within proofs;
2008-05-07 berghofe 2008-05-07 Deleted instance "set :: ({heap, finite}) heap"
2008-04-09 huffman 2008-04-09 fix spelling
2008-03-17 wenzelm 2008-03-17 removed duplicate lemmas;
2008-02-27 haftmann 2008-02-27 added theories for imperative HOL