bin/isabelle
changeset 16408 9bbaa5695691
parent 15967 f9163c6f69d6
child 28504 7ad7d7d6df47
equal deleted inserted replaced
16407:e3c3405613c5 16408:9bbaa5695691