S2ss_prop.thy
changeset 55 6f3ac2861978
parent 54 e934f9a697f5
child 57 d7cb2fb2e3b4