Diffusion afp-devel 3ddc21f61385

max word moved to Word_Lib in AFP
3ddc21f61385
Actions

Tags

None

Subscribers

None

Description

max word moved to Word_Lib in AFP

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPaae69e3e9178: merge from afp-2021

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP3ddc21f61385: max word moved to Word_Lib in AFP.May 28 2021, 10:21 PM

Changes (26)

Path

Size

thys/

Containers/

ITP-2013/

Benchmark_Set_LC.thy

IEEE_Floating_Point/

IEEE_Properties.thy

IP_Addresses/

WordInterval.thy

Iptables_Semantics/

Common/

Primitive_Matchers/

Common_Primitive_Matcher.thy

Protocols_Normalize.thy

Semantics_Embeddings.thy

Simple_Firewall/

SimpleFw_Compliance.thy

LOFT/

LinuxRouter_OpenFlow_Translation.thy

OpenFlow_Documentation.thy

OpenFlow_Serialize.thy

MFODL_Monitor_Optimized/

Code_Double.thy

Simple_Firewall/

Primitives/

Primitives_toString.thy

Service_Matrix.thy

SimpleFw_Semantics.thy

Word_Lib/

Enumeration_Word.thy

Legacy_Aliases.thy

Reversed_Bit_Lists.thy

Traditional_Infix_Syntax.thy

Word_Lemmas.thy

rAFP3ddc21f61385

thys/Containers/ITP-2013/Benchmark_Set_LC.thy

Loading...

thys/IEEE_Floating_Point/IEEE.thy

Loading...

thys/IEEE_Floating_Point/IEEE_Properties.thy

Loading...

thys/IP_Addresses/IP_Address.thy

Loading...

thys/IP_Addresses/IPv4.thy

Loading...

thys/IP_Addresses/IPv6.thy

Loading...

thys/IP_Addresses/WordInterval.thy

Loading...

thys/Iptables_Semantics/Common/Word_Upto.thy

Loading...

thys/Iptables_Semantics/Primitive_Matchers/Common_Primitive_Matcher.thy

Loading...

thys/Iptables_Semantics/Primitive_Matchers/Protocols_Normalize.thy

Loading...

thys/Iptables_Semantics/Semantics_Embeddings.thy

Loading...

thys/Iptables_Semantics/Simple_Firewall/SimpleFw_Compliance.thy

Loading...

thys/LOFT/LinuxRouter_OpenFlow_Translation.thy

Loading...

thys/LOFT/OpenFlow_Documentation.thy

Loading...

thys/LOFT/OpenFlow_Serialize.thy

Loading...

thys/MFODL_Monitor_Optimized/Code_Double.thy

Loading...

thys/Simple_Firewall/Primitives/Primitives_toString.thy

Loading...

thys/Simple_Firewall/Service_Matrix.thy

Loading...

thys/Simple_Firewall/SimpleFw_Semantics.thy

Loading...

thys/Word_Lib/Enumeration_Word.thy

Loading...

thys/Word_Lib/Guide.thy

Loading...

thys/Word_Lib/Legacy_Aliases.thy

Loading...

thys/Word_Lib/More_Word.thy

Loading...

thys/Word_Lib/Reversed_Bit_Lists.thy

Loading...

thys/Word_Lib/Traditional_Infix_Syntax.thy

Loading...

thys/Word_Lib/Word_Lemmas.thy

Loading...