
diff -r c23295521af5 -r 4f9803829625 src/HOL/ex/LocaleTest2.thy
--- a/src/HOL/ex/LocaleTest2.thy	Wed Jan 21 18:27:43 2009 +0100
+++ b/src/HOL/ex/LocaleTest2.thy	Wed Jan 21 18:37:44 2009 +0100
@@ -625,9 +625,6 @@
 lemma "gcd x y dvd x"
   apply (rule nat_dvd.meet_left) done
 
-print_interps dpo
-print_interps dlat
-
 
 subsection {* Group example with defined operations @{text inv} and @{text unit} *}
 




