src/Pure/library.ML
changeset 23251 471b576aad25
parent 23220 9e04da929160
child 23424 d0580634f128
     1.1 --- a/src/Pure/library.ML	Tue Jun 05 15:16:11 2007 +0200
     1.2 +++ b/src/Pure/library.ML	Tue Jun 05 15:17:02 2007 +0200
     1.3 @@ -124,8 +124,6 @@
     1.4    val suffixes: 'a list -> 'a list list
     1.5  
     1.6    (*integers*)
     1.7 -  val gcd: IntInf.int * IntInf.int -> IntInf.int
     1.8 -  val lcm: IntInf.int * IntInf.int -> IntInf.int
     1.9    val inc: int ref -> int
    1.10    val dec: int ref -> int
    1.11    val upto: int * int -> int list
    1.12 @@ -639,13 +637,6 @@
    1.13  
    1.14  (** integers **)
    1.15  
    1.16 -fun gcd (x, y) =
    1.17 -  let fun gxd x y : IntInf.int =
    1.18 -    if y = IntInf.fromInt 0 then x else gxd y (x mod y)
    1.19 -  in if x < y then gxd y x else gxd x y end;
    1.20 -
    1.21 -fun lcm (x, y) = (x * y) div gcd (x, y);
    1.22 -
    1.23  fun inc i = (i := ! i + 1; ! i);
    1.24  fun dec i = (i := ! i - 1; ! i);
    1.25