Fri, 21 Jan 2005 13:55:07 +0100 | paulson | fixed thin_tac with higher-level assumptions by removing the old code to | changeset | files |
Fri, 21 Jan 2005 13:54:09 +0100 | paulson | inserted quotes preparatory to conversion | changeset | files |
Fri, 21 Jan 2005 13:53:30 +0100 | paulson | fixed the treatment of demodulation and paramodulation | changeset | files |