| Tue, 17 Jun 1997 09:01:56 +0200 | nipkow | converse -> ^-1 | changeset | files |
| Mon, 16 Jun 1997 14:25:33 +0200 | paulson | Type constraint added to ensure that "length" refers to lists. Maybe should | changeset | files |
| Mon, 16 Jun 1997 14:24:11 +0200 | paulson | Replacing the primrec definition of "length" by a translation to the built-in | changeset | files |