changeset 27136 | 06a8f65e32f6 |
parent 27132 | 7d643d3935b1 |
child 28643 | caa1137d25dc |
--- a/src/HOL/Word/WordShift.thy Tue Jun 10 21:49:37 2008 +0200 +++ b/src/HOL/Word/WordShift.thy Tue Jun 10 21:50:05 2008 +0200 @@ -121,12 +121,12 @@ apply arith apply arith apply (erule thin_rl) - apply (case_tac nat) + apply (case_tac n) apply safe apply simp apply simp apply (erule thin_rl) - apply (case_tac nat) + apply (case_tac n) apply safe apply simp apply simp