Fri, 30 May 1997 15:20:41 +0200 | paulson | Overloading of "^" requires a type constraint | changeset | files |
Fri, 30 May 1997 15:19:58 +0200 | paulson | Overloading of "^" requires new type class "power", with types "nat" and | changeset | files |
Fri, 30 May 1997 15:17:36 +0200 | paulson | New theory Divides | changeset | files |