| Mon, 07 Oct 2019 11:35:43 +0200 | wenzelm | discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT; | changeset | files |
| Mon, 07 Oct 2019 10:51:20 +0200 | wenzelm | count nodes uniformly: avoid overloaded session; | changeset | files |
| Mon, 07 Oct 2019 10:44:59 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 07 Oct 2019 14:31:46 +0200 | nipkow | simplified proof | changeset | files |