isabelle.rst
changeset 2432 04d9591bc5d1
parent 1912 8b81a8f0f692