diff -r 750b63fa4c4e -r 52cd8bebc3b6 src/HOL/IMP/Abs_Int1_const.thy
--- a/src/HOL/IMP/Abs_Int1_const.thy	Tue Jul 02 20:47:32 2013 +0200
+++ b/src/HOL/IMP/Abs_Int1_const.thy	Wed Jul 03 16:07:00 2013 +0200
@@ -53,7 +53,7 @@
 end
 
 
-interpretation Val_abs
+interpretation Val_semilattice
 where \<gamma> = \<gamma>_const and num' = Const and plus' = plus_const
 proof
   case goal1 thus ?case