isabelle.rst
changeset 1759 6f62f6dccf2c
parent 1334 9bf0d5a1f0cf
child 1905 fba288d59662
equal deleted inserted replaced
1758:a5b14a9f4498 1759:6f62f6dccf2c