Declarations
name    kind      command     session  path   line  end
------  --------  ----------  -------  -----  ----  ---
A.succ  constant  definition  S        A.thy     2    3
B.l     locale    locale      S        B.thy     2    2
B.l.x   constant  fixes       S        B.thy     2    2
