Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
unit and bool are instances of heap
authorhaftmann
Fri, 13 Aug 2010 14:43:16 +0200
changeset 38408 721b4d6095b7
parent 38407 0dbbb511634d
child 38409 9ee71ec7db4e
unit and bool are instances of heap
src/HOL/Imperative_HOL/Heap.thy file | annotate | diff | comparison | revisions 
--- 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 ..
isabelle