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);