# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1294345540 0
# Node ID 5d9724ad543d2c490e3a51f61cf88e920d72c5c3
# Parent  5e95387bef4532643699d1a35f6e08119fbc1adc
removed last traces of debugging code

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"
diff -r 5e95387bef45 -r 5d9724ad543d Nominal/Ex/LetPat.thy
--- a/Nominal/Ex/LetPat.thy	Thu Jan 06 19:57:57 2011 +0000
+++ b/Nominal/Ex/LetPat.thy	Thu Jan 06 20:25:40 2011 +0000
@@ -2,8 +2,6 @@
 imports "../Nominal2"
 begin
 
-declare [[STEPS = 100]]
-
 atom_decl name
 
 nominal_datatype trm =