Clarify proof of smtoms_eq_hlp New proof is a few seconds slower in single-threaded mode
Clarify proof of smtoms_eq_hlp
New proof is a few seconds slower in single-threaded mode

jcaesar/Iptables_Semantics,diekmann/Iptables_Semantics,diekmann/Iptables_Semantics,jcaesar/Iptables_Semantics,diekmann/Iptables_Semantics,jcaesar/Iptables_Semantics