isabelle.rst
changeset 2429 238b04562c8c
parent 1912 8b81a8f0f692