--- a/Nominal/Test.thy	Thu Mar 04 15:55:53 2010 +0100
+++ b/Nominal/Test.thy	Thu Mar 04 18:57:23 2010 +0100
@@ -148,7 +148,8 @@
 thm lam_bp_perm
 thm lam_bp_fv
 thm lam_bp_bn
-thm lam_bp_inject*)
+thm lam_bp_inject
+thm lam_bp_distinct*)
 
 text {* example 2 *}