bin/isabelle-interface
changeset 21786 66da6af2b0c9
parent 15980 3dfcdb19f242
child 28502 6b0e3e4e1891
equal deleted inserted replaced
21785:885667874dfc 21786:66da6af2b0c9