Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/Ex/SingleLet.thy
changeset 2616 dd7490fdd998
parent 2562 e8ec504dddf2
child 2622 e6e6a3da81aa 
--- a/Nominal/Ex/SingleLet.thy	Sun Dec 19 07:50:37 2010 +0000
+++ b/Nominal/Ex/SingleLet.thy	Tue Dec 21 10:28:08 2010 +0000
@@ -4,8 +4,6 @@
 
 atom_decl name
 
-declare [[STEPS = 100]]
-
 nominal_datatype single_let: trm =
   Var "name"
 | App "trm" "trm"
nominal2