# HG changeset patch
# User wenzelm
# Date 1727439726 -7200
# Node ID 2c57002d98e4118d613f2ad45566eddda5559dc6
# Parent  74ba8ec496c18fe863aa59ff32e9d2a2fa8bbb06
tuned comments;

diff -r 74ba8ec496c1 -r 2c57002d98e4 src/Pure/library.ML
--- a/src/Pure/library.ML	Fri Sep 27 13:52:16 2024 +0200
+++ b/src/Pure/library.ML	Fri Sep 27 14:22:06 2024 +0200
@@ -626,11 +626,11 @@
 
 (* lists of integers *)
 
-(*make the list [from, from + 1, ..., to]*)
+(*make the list [i, i + 1, ..., j]*)
 fun ((i: int) upto j) =
   if i > j then [] else i :: (i + 1 upto j);
 
-(*make the list [from, from - 1, ..., to]*)
+(*make the list [i, i - 1, ..., j]*)
 fun ((i: int) downto j) =
   if i < j then [] else i :: (i - 1 downto j);