src/Doc/Main/Main_Doc.thy
changeset 71035 6fe5a0e1fa8e
parent 69597 ff784d5a5bfb
child 73761 ef1a18e20ace
equal deleted inserted replaced
71034:e0755162093f 71035:6fe5a0e1fa8e