doc-src/IsarRef/showsymbols
changeset 41648 6d736d983d5c
parent 32088 2110fcd86efb