--- a/src/HOL/MicroJava/BV/Product.thy Thu Mar 17 12:19:50 2005 +0100
+++ b/src/HOL/MicroJava/BV/Product.thy Thu Mar 17 15:12:03 2005 +0100
@@ -44,7 +44,7 @@
"order(Product.le rA rB) = (order rA & order rB)"
apply (unfold order_def)
apply simp
-apply meson
+apply blast
done