| Sat, 04 Jun 2016 16:10:44 +0200 | wenzelm | Integer.lcm normalizes the sign as in HOL/GCD.thy; | file | diff | annotate |
| Tue, 20 Oct 2009 20:54:31 +0200 | wenzelm | uniform use of Integer.min/max; | file | diff | annotate |
| Mon, 19 Oct 2009 21:54:57 +0200 | wenzelm | uniform use of Integer.add/mult/sum/prod; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 24 Nov 2008 20:12:23 +0100 | krauss | removed "log" again, as IntInf.log2 already exists. | file | diff | annotate |
| Fri, 21 Nov 2008 14:21:42 +0100 | krauss | added binary logarithm | file | diff | annotate |
| Mon, 22 Sep 2008 08:00:24 +0200 | haftmann | fixed headers | file | diff | annotate |
| Tue, 18 Sep 2007 18:05:34 +0200 | wenzelm | moved Tools/integer.ML to Pure/General/integer.ML; | file | diff | annotate |