--- a/Nominal/Nominal2_Base.thy	Wed Mar 14 15:41:54 2012 +0000
+++ b/Nominal/Nominal2_Base.thy	Sat Mar 17 05:13:59 2012 +0000
@@ -8,6 +8,8 @@
 imports Main 
         "~~/src/HOL/Library/Infinite_Set"
         "~~/src/HOL/Quotient_Examples/FSet"
+keywords
+  "atom_decl" "equivariance" :: thy_decl 
 uses ("nominal_basics.ML")
      ("nominal_thmdecls.ML")
      ("nominal_permeq.ML")