src/HOL/Vimage.thy
changeset 9811 39ffdb8cab03
parent 7515 0c05469cad57
child 10065 ddb3a014f721
equal deleted inserted replaced
9810:7e785df2b76a 9811:39ffdb8cab03