isabelle.rst
changeset 1505 8f63432518d2
parent 1334 9bf0d5a1f0cf
child 1905 fba288d59662