Fri, 29 Jul 2005 19:47:41 +0200 | avigad | mentioned Ln in NEWS | changeset | files |
Fri, 29 Jul 2005 19:47:34 +0200 | avigad | fixed minor typo in comments | changeset | files |
Fri, 29 Jul 2005 19:47:27 +0200 | avigad | changed import to Ln | changeset | files |
Fri, 29 Jul 2005 19:47:19 +0200 | avigad | added a new theory; properties of ln | changeset | files |
Fri, 29 Jul 2005 16:16:44 +0200 | wenzelm | P.opt_locale_target; | changeset | files |
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 |