Prefix_subtract.thy
changeset 60 fb08f41ca33d
parent 31 b6815473ee2e
child 149 e122cb146ecc
equal deleted inserted replaced
59:fc35eb54fdc9 60:fb08f41ca33d