src/Pure/section_utils.ML
changeset 590 800603278425
parent 579 08f465e23dc5
child 613 f9eb0f819642