start adding the attribute eqvt to some lemmas of the nominal library

--- a/src/HOL/Nominal/Nominal.thy	Thu Feb 15 17:35:19 2007 +0100
+++ b/src/HOL/Nominal/Nominal.thy	Thu Feb 15 18:18:21 2007 +0100
@@ -3008,6 +3008,10 @@
 use "nominal_thmdecls.ML"
 setup "NominalThmDecls.setup"
 
+lemmas  [eqvt] = perm_list.simps perm_prod.simps 
+
+
+
 (***************************************)
 (* setup for the individial atom-kinds *)
 (* and nominal datatypes               *)