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/Ex1.thy
changeset 2611 3d101f2f817c
parent 2593 25dcb2b1329e
child 2625 478c5648e73f 
--- a/Nominal/Ex/Ex1.thy	Thu Dec 16 02:25:35 2010 +0000
+++ b/Nominal/Ex/Ex1.thy	Thu Dec 16 08:42:48 2010 +0000
@@ -6,7 +6,7 @@
 
 atom_decl name
 
-declare [[STEPS = 100]]
+thm finite_sets_supp
 
 nominal_datatype foo =
   Foo0 "name"
nominal2