doc-src/IsarRef/Thy/Spec.thy
changeset 31413 729d90a531e4
parent 31047 c13b0406c039
child 31681 127e8a8b8cde
equal deleted inserted replaced
31408:9f2ca03ae7b7 31413:729d90a531e4