Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. clean up unused code
Changeset 7284:21eda5e99b81 by lars hupel _lars.hupel@mytum.de_:
clean up unused code
The file was modified thys/Iptables_Semantics/ROOT (diff)
The file was removedthys/Iptables_Semantics/Semantics_Ternary/Packet_Set.thy
The file was removedthys/Iptables_Semantics/Semantics_Ternary/Packet_Set_Impl.thy