Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Product_Lexorder for IP_Addresses and Network_Security_Policy_Verification
  3. later import of Product_Lexorder
Changeset 6974:843d35777315 by immler:
merged
Changeset 6973:c04680075510 by immler:
Product_Lexorder for IP_Addresses and Network_Security_Policy_Verification
The file was modified thys/IP_Addresses/WordInterval_Sorted.thy (diff)
The file was modified thys/Network_Security_Policy_Verification/Lib/Efficient_Distinct.thy (diff)
Changeset 6972:32c505632de9 by immler:
later import of Product_Lexorder
The file was modified thys/Automatic_Refinement/Lib/Misc.thy (diff)
The file was modified thys/Collections/GenCF/Gen/Gen_Comp.thy (diff)