Fri, 19 Nov 2004 15:05:10 +0100 | webertj | solver auto now returns the result of the first solver that does not raise NOT_CONFIGURED (which may be UNKNOWN) | changeset | files |
Fri, 19 Nov 2004 14:00:31 +0100 | chaieb | Barith removed | changeset | files |
Thu, 18 Nov 2004 18:46:09 +0100 | webertj | imports (new syntax for theory headers) | changeset | files |