src/HOL/Library/Mapping.thy
changeset 31563 ded2364d14d4
parent 31459 ae39b7b2a68a
child 33640 0d82107dc07a