--- a/Nominal/Ex/Let.thy	Sun Aug 29 00:09:45 2010 +0800
+++ b/Nominal/Ex/Let.thy	Sun Aug 29 00:36:47 2010 +0800
@@ -6,6 +6,8 @@
 
 atom_decl name
 
+declare [[STEPS = 29]]
+
 nominal_datatype trm =
   Var "name"
 | App "trm" "trm"