# HG changeset patch
# User wenzelm
# Date 933105870 -7200
# Node ID 0229ce6735f67a494b2a058558ad3d3fcc820122
# Parent  ce69de572bcacd66591ca816c0471c2b569fa311
fixed comment;

diff -r ce69de572bca -r 0229ce6735f6 src/HOL/Arith.ML
--- a/src/HOL/Arith.ML	Tue Jul 27 22:03:24 1999 +0200
+++ b/src/HOL/Arith.ML	Tue Jul 27 22:04:30 1999 +0200
@@ -1107,7 +1107,7 @@
 qed "diff_less";
 
 
-(** (Anti)Monotonicity of subtraction -- by Stefan Merz **)
+(** (Anti)Monotonicity of subtraction -- by Stephan Merz **)
 
 (* Monotonicity of subtraction in first argument *)
 Goal "m <= (n::nat) ==> (m-l) <= (n-l)";