| Fri, 11 Jan 2019 22:55:02 +0100 | wenzelm | access Isabelle theory exports via virtual file-system; | changeset | files |
| Fri, 11 Jan 2019 22:35:41 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 11 Jan 2019 22:35:04 +0100 | wenzelm | clarified output (again); | changeset | files |
| Fri, 11 Jan 2019 22:34:28 +0100 | wenzelm | more operations; | changeset | files |
| Fri, 11 Jan 2019 16:36:21 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 11 Jan 2019 19:05:26 +0100 | nipkow | tuned | changeset | files |
| Fri, 11 Jan 2019 18:41:50 +0100 | nipkow | tuned headers | changeset | files |