Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified imports;
  3. clarified imports;
Changeset 8356:b965ba72a310 by wenzelm:
merged
Changeset 8355:8934c197d7e7 by wenzelm:
clarified imports;
The file was modified thys/IP_Addresses/ROOT (diff)
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Code_Interface.thy (diff)
The file was modified thys/LOFT/Examples/OF_conv_test/OF_conv_test.thy (diff)
The file was modified thys/Routing/ReversePathFiltering.thy (diff)
The file was modified thys/Routing/Routing_Table.thy (diff)
The file was modified thys/Simple_Firewall/ROOT (diff)
Changeset 8354:47a6c8bbdc92 by wenzelm:
clarified imports;
The file was modified thys/CAVA_Automata/CAVA_Base/Code_String.thy (diff)
The file was modified thys/CAVA_LTL_Modelchecker/BoolProgs/Programs/BoolProgs_Programs.thy (diff)
The file was modified thys/Circus/Reactive_Processes.thy (diff)
The file was modified thys/Dependent_SIFUM_Type_Systems/Preliminaries.thy (diff)
The file was modified thys/Gauss_Jordan/Examples_Gauss_Jordan_IArrays.thy (diff)
The file was modified thys/IP_Addresses/IPv4.thy (diff)
The file was modified thys/IP_Addresses/IPv6.thy (diff)
The file was modified thys/LOFT/OpenFlow_Serialize.thy (diff)
The file was modified thys/ROBDD/Array_List.thy (diff)
The file was modified thys/ROBDD/Pointer_Map_Impl.thy (diff)
The file was modified thys/ROBDD/ROOT (diff)
The file was modified thys/Refine_Imperative_HOL/IICF/Impl/IICF_Array_List.thy (diff)
The file was modified thys/Refine_Imperative_HOL/IICF/Impl/IICF_Array_Matrix.thy (diff)
The file was modified thys/Refine_Imperative_HOL/IICF/Impl/IICF_MS_Array_List.thy (diff)
The file was modified thys/Refine_Imperative_HOL/IICF/Impl/IICF_Sepl_Binding.thy (diff)
The file was modified thys/Refine_Imperative_HOL/Lib/Pf_Mono_Prover.thy (diff)
The file was modified thys/Refine_Imperative_HOL/Lib/Sepref_Misc.thy (diff)
The file was modified thys/Refine_Imperative_HOL/ROOT (diff)
The file was modified thys/Refine_Imperative_HOL/Sepref_Basic.thy (diff)
The file was modified thys/Refine_Imperative_HOL/benchmarks/NestedDFS/isabelle/NDFS_Benchmark.thy (diff)
The file was modified thys/Separation_Logic_Imperative_HOL/Examples/Array_Blit.thy (diff)
The file was modified thys/Separation_Logic_Imperative_HOL/Examples/Array_Map_Impl.thy (diff)
The file was modified thys/Separation_Logic_Imperative_HOL/Examples/Array_Set_Impl.thy (diff)
The file was modified thys/Separation_Logic_Imperative_HOL/ROOT (diff)
The file was modified thys/Trie/Trie.thy (diff)