# HG changeset patch
# User paulson
# Date 830429384 -7200
# Node ID 801032ed5959852e1938180c137b7fbcb6b54246
# Parent  3eaf3ab530825fc0b1ca0bdc85737fa7b2866a75
Fixed a silly variable name

diff -r 3eaf3ab53082 -r 801032ed5959 src/HOL/ex/Comb.thy
--- a/src/HOL/ex/Comb.thy	Thu Apr 25 12:45:14 1996 +0200
+++ b/src/HOL/ex/Comb.thy	Thu Apr 25 12:49:44 1996 +0200
@@ -57,7 +57,7 @@
     refl  "x =1=> x"
     K     "K#x#y =1=> x"
     S     "S#x#y#z =1=> (x#z)#(y#z)"
-    Ap    "[| x=1=>y;  z=1=>s |] ==> x#z =1=> y#s"
+    Ap    "[| x=1=>y;  z=1=>w |] ==> x#z =1=> y#w"
 
 
 (*Misc definitions*)