diff -r 0f289a52edbe -r b136721eedb2 Nominal/Ex/CoreHaskell.thy
--- a/Nominal/Ex/CoreHaskell.thy	Tue Dec 07 14:27:21 2010 +0000
+++ b/Nominal/Ex/CoreHaskell.thy	Tue Dec 07 14:27:39 2010 +0000
@@ -86,6 +86,7 @@
 
 (* generated theorems *)
 
+thm core_haskell.permute_bn
 thm core_haskell.perm_bn_alpha
 thm core_haskell.perm_bn_simps
 thm core_haskell.bn_finite