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 |