src/Doc/Isar_Ref/Outer_Syntax.thy
changeset 68743 91162dd89571
parent 67476 44b018d4aa5f
child 69041 d57c460ba112
equal deleted inserted replaced
68739:0c62e3b4f4c0 68743:91162dd89571