doc-src/IsarRef/showsymbols
changeset 42224 578a51fae383
parent 32088 2110fcd86efb