author haftmann

Thu, 15 Jul 2010 08:14:05 +0200

changeset 37835 d8fdbcbde4b6

parent 37834 c78327288b50

child 37837 6e17a56514ce

src/HOL/Imperative_HOL/Heap_Monad.thy file | annotate | diff | comparison | revisions
     1.1 --- a/src/HOL/Imperative_HOL/Heap_Monad.thy	Wed Jul 14 19:10:23 2010 +0100
     1.2 +++ b/src/HOL/Imperative_HOL/Heap_Monad.thy	Thu Jul 15 08:14:05 2010 +0200
     1.3 @@ -537,6 +537,4 @@
     1.4  
     1.5  hide_const (open) Heap heap guard raise' fold_map
     1.6  
     1.7 -export_code return in Haskell file "/tmp/"
     1.8 -
     1.9  end