bin/isabelle-interface
changeset 21915 4e63c55f4cb4
parent 15980 3dfcdb19f242
child 28502 6b0e3e4e1891