src/Tools/Adhoc_Overloading.thy
changeset 45268 a42624e9de09
parent 37818 dd65033fed78
child 48892 0b2407f406e8
equal deleted inserted replaced
45267:66823a0066db 45268:a42624e9de09