etc/isabelle.css
changeset 78659 b5f3d1051b13
parent 74679 0efa6a8b6e20
child 81566 f207acb03ccb
equal deleted inserted replaced
78658:71536ae52b16 78659:b5f3d1051b13