| Mon, 12 Jan 2004 16:45:35 +0100 | paulson | Modified real arithmetic simplification | changeset | files |
| Mon, 12 Jan 2004 14:35:07 +0100 | webertj | Fixed compatibility issues with SML/NJ: | changeset | files |
| 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 |
| Fri, 09 Jan 2004 01:28:24 +0100 | kleing | set isasep to {} by default | changeset | files |
| Thu, 08 Jan 2004 16:35:46 +0100 | skalberg | Added lazy sequences and parser combinators for same. | changeset | files |