etc/isabelle.css
changeset 74875 98d2b3375258
parent 74679 0efa6a8b6e20
child 81566 f207acb03ccb
equal deleted inserted replaced
74874:8baf2e8b16e2 74875:98d2b3375258