--- a/src/HOL/Nominal/nominal_induct.ML Wed Nov 30 22:52:50 2005 +0100
+++ b/src/HOL/Nominal/nominal_induct.ML Thu Dec 01 04:46:17 2005 +0100
@@ -106,7 +106,7 @@
local
-val freshN = "fresh";
+val freshN = "avoiding";
val fixingN = "fixing";
val ruleN = "rule";