src/HOL/Lifting.thy
changeset 66010 2f7d39285a1a
parent 63343 fb5d8a50c641
child 67229 4ecf0ef70efb