--- a/src/HOL/Nominal/Nominal.thy Thu Mar 15 17:45:54 2012 +0100
+++ b/src/HOL/Nominal/Nominal.thy Thu Mar 15 19:02:34 2012 +0100
@@ -1,5 +1,6 @@
theory Nominal
imports Main "~~/src/HOL/Library/Infinite_Set"
+keywords "avoids"
uses
("nominal_thmdecls.ML")
("nominal_atoms.ML")