src/HOL/Lifting.thy
changeset 62378 85ed00c1fe7c
parent 61799 4cf66f21b764
child 63092 a949b2a5f51d