src/HOL/Lifting_Sum.thy
changeset 55990 41c6b99c5fb7
parent 55945 e96383acecf9
child 56518 beb3b6851665