src/Doc/IsarRef/Symbols.thy
changeset 52190 c87b7f26e2c7
parent 48985 5386df44a037
child 53060 444ee6529574
equal deleted inserted replaced
52184:d6627b50b131 52190:c87b7f26e2c7