src/HOL/Library/Heap.thy
Wed, 27 Feb 2008 21:41:08 +0100 haftmann added theories for imperative HOL
less more (0) tip