doc-src/IsarRef/Thy/Symbols.thy
changeset 46818 2a28e66e2e4c
parent 42651 e3fdb7c96be5
child 47822 34b44d28fc4b