src/HOL/Lifting.thy
changeset 58646 cd63a4b12a33
parent 58186 a6c3962ea907
child 58821 11e226e8a095