src/HOL/Lifting_Set.thy
changeset 55415 05f5fdb8d093
parent 54257 5c7a3b6b05a9
child 55564 e81ee43ab290