bin/isabelle-process
changeset 40367 6fb991dc074b
parent 38253 3d4e521014f7
child 45028 d608dd8cd409
equal deleted inserted replaced
40366:a2866dbfbe6b 40367:6fb991dc074b