
diff -r f5c7375ab465 -r 3d101f2f817c Nominal/Ex/Ex1.thy
--- 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"




