src/HOL/Lifting_Option.thy
changeset 56846 9df717fef2bb
parent 56525 b5b6ad5dc2ae
child 58889 5b7a9633cfa8