src/HOL/Partial_Function.thy
changeset 46372 6fa9cdb8b850
parent 46041 1e3ff542e83e
child 46950 d0181abdbdac