src/HOL/Nominal/Examples/SN.thy

--- a/src/HOL/Nominal/Examples/SN.thy	Sun Dec 04 12:25:57 2005 +0100
+++ b/src/HOL/Nominal/Examples/SN.thy	Sun Dec 04 12:40:39 2005 +0100
@@ -886,5 +886,5 @@
 (* Abstractions  *)
 apply(auto dest!: t3_elim simp only: psubst_Lam)
 apply(rule abs_RED[THEN mp])
-apply(force dest: fresh_context simp add: psubs_subs)
+apply(force dest: fresh_context simp add: psubst_subst)
 done
\ No newline at end of file