doc-src/IsarRef/Thy/Inner_Syntax.thy
changeset 29276 94b1ffec9201
parent 29157 461f34ed79ec
child 29741 831f29b1a02e
equal deleted inserted replaced
29275:9fa69e3858d6 29276:94b1ffec9201