doc-src/IsarRef/Thy/Proof.thy
changeset 45748 cf79cc09cab4
parent 45135 5ba2f065c6f7
child 46262 912b42e64fde
equal deleted inserted replaced
45745:3a8bc5623410 45748:cf79cc09cab4