del_vs_del_s.thy
changeset 3 4d25a9919688
parent 1 dcde836219bc
child 6 4294abb1f38c
equal deleted inserted replaced
2:301f567e2a8e 3:4d25a9919688