| Fri, 30 May 1997 15:24:27 +0200 | paulson | New results including the basis for unique factorization | changeset | files |
| Fri, 30 May 1997 15:23:49 +0200 | paulson | Now "primes" is a set | changeset | files |
| Fri, 30 May 1997 15:23:25 +0200 | paulson | Now Divides must be the parent | changeset | files |
| Fri, 30 May 1997 15:22:19 +0200 | paulson | New proofs about cardinality. Suggested by Florian Kammueller | changeset | files |