| Mon, 08 Jan 2018 23:45:43 +0100 | wenzelm | theory Pure is default presentation context; | changeset | files |
| Mon, 08 Jan 2018 22:36:02 +0100 | wenzelm | clarified implicit Pure.thy; | changeset | files |
| Mon, 08 Jan 2018 16:45:30 +0100 | wenzelm | prefer qualified names; | changeset | files |
| Mon, 08 Jan 2018 16:06:16 +0100 | wenzelm | tuned; | changeset | files |