Sun, 04 Feb 2001 19:31:13 +0100 | wenzelm | HOL-NumberTheory: converted to new-style format and proper document setup; | changeset | files |
Sat, 03 Feb 2001 17:43:34 +0100 | wenzelm | tuned msg; | changeset | files |
Sat, 03 Feb 2001 17:43:05 +0100 | wenzelm | tuned; | changeset | files |