src/HOL/Inverse_Image.thy
changeset 10519 ade64af4c57c
parent 10213 01c2744a3786
child 10832 e33b47e4246d
equal deleted inserted replaced
10518:20d4899f5d48 10519:ade64af4c57c