Fri, 29 Jul 2005 15:20:29 +0200 | paulson | nameless theorems: better names, flag to omit them | changeset | files |
Thu, 28 Jul 2005 17:56:27 +0200 | paulson | invents theorem names; also patches write_out_clasimp | changeset | files |
Thu, 28 Jul 2005 17:55:39 +0200 | paulson | dead code | changeset | files |