diff -r 65bdcc42badd -r 2725853f43b9 Nominal/Ex/Classical.thy
--- a/Nominal/Ex/Classical.thy	Tue May 04 17:25:58 2010 +0200
+++ b/Nominal/Ex/Classical.thy	Wed May 05 10:24:54 2010 +0100
@@ -72,6 +72,7 @@
 declare alpha_gen_eqvt[eqvt]
 
 equivariance alpha
+equivariance alpha_trm_raw
 thm eqvts_raw