doc-src/IsarImplementation/Thy/Syntax.thy
changeset 42358 b47d41d9f4b5
parent 39876 1ff9bce085bd
child 42510 b9c106763325
equal deleted inserted replaced
42357:3305f573294e 42358:b47d41d9f4b5