Tue, 23 May 2000 12:36:36 +0200 | paulson | theory file NatSum.thy no longer needed | changeset | files |
Tue, 23 May 2000 12:35:57 +0200 | paulson | Sums of geometric series | changeset | files |
Tue, 23 May 2000 12:35:18 +0200 | paulson | use of AllocBase | changeset | files |