# HG changeset patch
# User haftmann
# Date 1183050583 -7200
# Node ID 93d1ad7662a9e0e457bd9053c2abacf5d4015197
# Parent  f7d54060b5b0c566299f9615a944b8ea002bc8bc
dropped toplevel lcm, gcd

diff -r f7d54060b5b0 -r 93d1ad7662a9 src/Tools/integer.ML
--- a/src/Tools/integer.ML	Thu Jun 28 19:09:41 2007 +0200
+++ b/src/Tools/integer.ML	Thu Jun 28 19:09:43 2007 +0200
@@ -43,6 +43,8 @@
 
 open IntInf;
 
+type integer = int;
+
 val int = fromInt;
 
 val zero = int 0;
@@ -110,6 +112,3 @@
 fun a >% b = b <% a;
 fun a >=% b = b <=% a;
 fun a <>% b = not (a =% b);
-
-val gcd = uncurry Integer.gcd; (*FIXME*)
-val lcm = uncurry Integer.lcm; (*FIXME*)