Delete_prop.thy
changeset 31 aa1375b6c0eb
parent 19 ced0fcfbcf8e
child 77 6f7b9039715f
equal deleted inserted replaced
30:01274a64aece 31:aa1375b6c0eb