S2ss_prop2.thy
changeset 62 9fc384154e84
parent 60 03d173288afe
equal deleted inserted replaced
61:0d219ddd6354 62:9fc384154e84