Sat, 23 Nov 2019 09:56:11 +0000 | haftmann | tuned theory structure | changeset | files |
Sat, 23 Nov 2019 16:02:42 +0100 | wenzelm | more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump"; | changeset | files |
Sat, 23 Nov 2019 14:48:44 +0100 | wenzelm | clarified signature; | changeset | files |