src/HOL/Library/Mapping.thy
changeset 44913 48240fb48980
parent 41505 6d19301074cf
child 45231 d85a2fdc586c