--- a/Nominal/Ex/LF.thy	Fri Aug 27 02:08:36 2010 +0800
+++ b/Nominal/Ex/LF.thy	Fri Aug 27 03:37:17 2010 +0800
@@ -2,7 +2,7 @@
 imports "../NewParser"
 begin
 
-declare [[STEPS = 20]]
+declare [[STEPS = 100]]
 
 atom_decl name
 atom_decl ident