Fri, 21 Jan 2005 18:00:18 +0100 | paulson | Jia Meng: delta simpsets and clasets | changeset | files |
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 |