Prove.thy
changeset 462 0911d3aabf47
parent 319 0ae9d9e66cb7
child 549 f178958d3d81
equal deleted inserted replaced
459:020e27417b59 462:0911d3aabf47