| Thu, 27 Feb 2003 18:22:49 +0100 | paulson | Reorganized, moving many results about the integer dvd relation from IntPrimes | file | diff | annotate |
| Thu, 26 Sep 2002 15:21:38 +0200 | paulson | Renamed Integ/int.ML to Integ/Int_lemmas.ML to prevent confusion with Int.ML | file | diff | annotate |