| Thu, 01 Feb 2007 20:40:34 +0100 | wenzelm | proper use of PureThy.has_name_hint instead of hard-wired string''; | changeset | files |
| 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 |