| Thu, 01 Feb 2007 20:40:17 +0100 | wenzelm | removed non-modular comment; | changeset | files |
| Thu, 01 Feb 2007 13:41:19 +0100 | paulson | new theorem int_infinite | changeset | files |
| Wed, 31 Jan 2007 20:07:40 +0100 | aspinall | Fix tell_thm_deps to match changse in PureThy. | changeset | files |
| Wed, 31 Jan 2007 20:06:24 +0100 | aspinall | Expose hard-wired string which was changed and broke Proof General. | changeset | files |
| Wed, 31 Jan 2007 16:05:17 +0100 | haftmann | clarified error message | changeset | files |
| Wed, 31 Jan 2007 16:05:16 +0100 | haftmann | clarified command annotation | changeset | files |
| Wed, 31 Jan 2007 16:05:14 +0100 | haftmann | changed cong alist - now using AList operations instead of overwrite_warn | changeset | files |