bin/isabelle
changeset 26376 1aeabd85866a
parent 15967 f9163c6f69d6
child 28504 7ad7d7d6df47
equal deleted inserted replaced
26375:234f10289d97 26376:1aeabd85866a