changeset 37678 | 0040bafffdef |
parent 36640 | 7eadf5acdaf4 |
child 37714 | 2eb2b048057b |
--- a/src/HOL/Imperative_HOL/Heap.thy Thu Jul 01 16:54:42 2010 +0200 +++ b/src/HOL/Imperative_HOL/Heap.thy Thu Jul 01 16:54:44 2010 +0200 @@ -18,9 +18,9 @@ instance nat :: heap .. -instance "*" :: (heap, heap) heap .. +instance prod :: (heap, heap) heap .. -instance "+" :: (heap, heap) heap .. +instance sum :: (heap, heap) heap .. instance list :: (heap) heap ..