src/HOL/Partial_Function.thy
changeset 55415 05f5fdb8d093
parent 55085 0e8e4dc55866
child 57959 1bfed12a7646