--- a/Nominal/Ex/Ex1.thy	Fri Nov 12 01:20:53 2010 +0000
+++ b/Nominal/Ex/Ex1.thy	Sat Nov 13 10:25:03 2010 +0000
@@ -6,6 +6,8 @@
 
 atom_decl name
 
+declare [[STEPS = 100]]
+
 nominal_datatype foo =
   Foo0 "name"
 | Foo1 b::"bar" f::"foo" bind (set) "bv b" in f