
diff -r 5e95387bef45 -r 5d9724ad543d Nominal/Ex/LamFun.thy
--- a/Nominal/Ex/LamFun.thy	Thu Jan 06 19:57:57 2011 +0000
+++ b/Nominal/Ex/LamFun.thy	Thu Jan 06 20:25:40 2011 +0000
@@ -3,7 +3,6 @@
 begin
 
 atom_decl name
-declare [[STEPS = 100]]
 
 nominal_datatype lam =
   Var "name"




