diff -r b0eae8c93314 -r da44ef9a7df2 Nominal/Test.thy
--- a/Nominal/Test.thy	Tue Mar 02 16:03:19 2010 +0100
+++ b/Nominal/Test.thy	Tue Mar 02 16:04:48 2010 +0100
@@ -24,7 +24,7 @@
 thm permute_lam_raw_permute_bp_raw.simps
 thm alpha_lam_raw_alpha_bp_raw.intros
 thm fv_lam_raw_fv_bp_raw.simps
-
+thm eqvts
 
 print_theorems