isabelle.rst
changeset 1934 c59cebd540b3
parent 1912 8b81a8f0f692