Current_sockets_prop.thy
changeset 15 4ca824cd0c59
parent 4 e9c5594d5963
equal deleted inserted replaced
14:cc1e46225a81 15:4ca824cd0c59