Fri, 18 Sep 1998 16:04:00 +0200 | paulson | new files in Integ | changeset | files |
Fri, 18 Sep 1998 15:15:40 +0200 | paulson | simpler definition of zmagnitude, and new thms for it | changeset | files |
Fri, 18 Sep 1998 15:11:05 +0200 | paulson | stronger version of theI2 | changeset | files |