bin/isabelle-interface
changeset 19761 5cd82054c2c6
parent 15980 3dfcdb19f242
child 28502 6b0e3e4e1891
equal deleted inserted replaced
19760:c7e9cc10acc8 19761:5cd82054c2c6