| Fri, 27 Jan 2006 19:03:02 +0100 | wenzelm | moved theorem tags from Drule to PureThy; | changeset | files |
| Fri, 27 Jan 2006 18:29:33 +0100 | paulson | tidying up SPASS output | changeset | files |
| Fri, 27 Jan 2006 18:29:11 +0100 | paulson | tidying | changeset | files |
| Fri, 27 Jan 2006 18:28:55 +0100 | paulson | better reporting | changeset | files |
| 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 |