src/HOL/Vimage.thy
changeset 6019 0e55c2fb2ebb
parent 4648 f04da668581c
child 7515 0c05469cad57