section‹Network Interfaces› theory Iface imports "HOL-Library.Char_ord" (*WARNING: importing char ord*) begin text‹Network interfaces, e.g. \texttt{eth0}, \texttt{wlan1}, ... iptables supports wildcard matching, e.g. \texttt{eth+} will match \texttt{eth}, \texttt{eth1}, \texttt{ethFOO}, ... The character `+' is only a wildcard if it appears at the end. ›