author | haftmann |
Fri, 13 Aug 2010 14:43:16 +0200 | |
changeset 38408 | 721b4d6095b7 |
parent 38407 | 0dbbb511634d |
child 38409 | 9ee71ec7db4e |
--- a/src/HOL/Imperative_HOL/Heap.thy Fri Aug 13 14:41:27 2010 +0200 +++ b/src/HOL/Imperative_HOL/Heap.thy Fri Aug 13 14:43:16 2010 +0200 @@ -14,6 +14,10 @@ class heap = typerep + countable +instance unit :: heap .. + +instance bool :: heap .. + instance nat :: heap .. instance prod :: (heap, heap) heap ..