HomeIsabelle/Phabricator

discontinued body_range (again): does not quite work, because Position.

Description

discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;