| Fri, 01 Jun 2018 15:53:35 +0200 | wenzelm | documentation for "isabelle dump"; | changeset | files |
| Fri, 01 Jun 2018 11:51:03 +0200 | wenzelm | more dump aspects, with options; | changeset | files |
| Fri, 01 Jun 2018 11:50:20 +0200 | wenzelm | tuned signature; | changeset | files |