--- a/Nominal/Ex/ExPS8.thy	Thu Aug 26 02:08:00 2010 +0800
+++ b/Nominal/Ex/ExPS8.thy	Fri Aug 27 02:03:52 2010 +0800
@@ -6,6 +6,8 @@
 
 atom_decl name
 
+declare [[STEPS = 15]]
+
 nominal_datatype exp =
   EVar name
 | EUnit