| Fri, 27 Jan 2006 16:05:23 +0100 | ballarin | Interface to access the specification of a named locale. | changeset | files |
| Fri, 27 Jan 2006 05:46:39 +0100 | mengj | Added new file Tools/ATP/reduce_axiomsN.ML | changeset | files |
| Fri, 27 Jan 2006 05:45:25 +0100 | mengj | Added in new file Tools/ATP/reduce_axiomsN.ML | changeset | files |
| Fri, 27 Jan 2006 05:37:12 +0100 | mengj | Changed codes that call relevance filter. | changeset | files |
| Fri, 27 Jan 2006 05:34:20 +0100 | mengj | Relevance filtering. Has replaced the previous version. | changeset | files |
| Thu, 26 Jan 2006 20:42:15 +0100 | webertj | interrupt_timeout now raises Interrupt instead of SML90.Interrupt | changeset | files |
| Thu, 26 Jan 2006 20:17:54 +0100 | webertj | smaller example to prevent timeout | changeset | files |