Sat, 10 Jan 2004 13:35:10 +0100 | webertj | Adding 'refute' to HOL. | changeset | files |
Sat, 10 Jan 2004 12:34:50 +0100 | webertj | 'refute', 'refute_params'. | changeset | files |
Fri, 09 Jan 2004 10:46:18 +0100 | paulson | Defining the type class "ringpower" and deleting superseded theorems for | changeset | files |