src/Pure/section_utils.ML
changeset 5838 a4122945d638
parent 4938 c8bbbf3c59fa
child 6039 01f67f5f8dd0