
diff -r 6c0ef1c77c7b -r b5a61270ea5a src/HOL/Nominal/Nominal.thy
--- a/src/HOL/Nominal/Nominal.thy	Mon Aug 14 13:47:00 2006 +0200
+++ b/src/HOL/Nominal/Nominal.thy	Wed Aug 16 16:44:41 2006 +0200
@@ -224,6 +224,12 @@
   apply(simp add: supp_def perm_int_def)
   done
 
+lemma supp_nat:
+  fixes n::"nat"
+  shows "supp (n) = {}"
+  apply(simp add: supp_def perm_nat_def)
+  done
+
 lemma supp_char:
   fixes c::"char"
   shows "supp (c) = {}"




