S2ss_prop2.thy
changeset 62 9fc384154e84
parent 60 03d173288afe