equal
deleted
inserted
replaced
6 integers. |
6 integers. |
7 |
7 |
8 This file combines and revises a number of prior developments. |
8 This file combines and revises a number of prior developments. |
9 |
9 |
10 The original theories "GCD" and "Primes" were by Christophe Tabacznyj |
10 The original theories "GCD" and "Primes" were by Christophe Tabacznyj |
11 and Lawrence C. Paulson, based on \cite{davenport92}. They introduced |
11 and Lawrence C. Paulson, based on @{cite davenport92}. They introduced |
12 gcd, lcm, and prime for the natural numbers. |
12 gcd, lcm, and prime for the natural numbers. |
13 |
13 |
14 The original theory "IntPrimes" was by Thomas M. Rasmussen, and |
14 The original theory "IntPrimes" was by Thomas M. Rasmussen, and |
15 extended gcd, lcm, primes to the integers. Amine Chaieb provided |
15 extended gcd, lcm, primes to the integers. Amine Chaieb provided |
16 another extension of the notions to the integers, and added a number |
16 another extension of the notions to the integers, and added a number |