Diffusion afp-devel fd98855f4f8e

bundles for traditional infix syntax
fd98855f4f8e
Actions

Tags

None

Subscribers

None

Description

bundles for traditional infix syntax

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPbdcaff25a220: complement reduced to mere abbreviation

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPfd98855f4f8e: bundles for traditional infix syntax.May 29 2021, 9:27 PM

Changes (35)

Path

Size

CAVA_Automata/

CAVA_Base/

Collections/

GenCF/

Impl/

Impl_Uv_Set.thy

Complx/

ex/

IP_Addresses/

NumberWang_IPv6.thy

LLL_Basis_Reduction/

Missing_Lemmas.thy

Native_Word/

Bits_Integer.thy

Code_Target_Word_Base.thy

Native_Word_Test.thy

Promela/

PromelaDatastructures.thy

Bit_Comprehension.thy

Generic_set_bit.thy

Least_significant_bit.thy

Legacy_Aliases.thy

More_Word_Operations.thy

Most_significant_bit.thy

Reversed_Bit_Lists.thy

Syntax_Bundles.thy

Traditional_Infix_Syntax.thy

Typedef_Morphisms.thy

Word_Lemmas.thy

Word_Lib_Sumo.thy

rAFPfd98855f4f8e

thys/CAVA_Automata/CAVA_Base/CAVA_Base.thy

Loading...

thys/Collections/GenCF/Impl/Impl_Uv_Set.thy

Loading...

thys/Complx/ex/SumArr.thy

Loading...

thys/IP_Addresses/NumberWang_IPv6.thy

Loading...

thys/LLL_Basis_Reduction/Missing_Lemmas.thy

Loading...

thys/Native_Word/Bits_Integer.thy

Loading...

thys/Native_Word/Code_Target_Word_Base.thy

Loading...

thys/Native_Word/Native_Word_Test.thy

Loading...

thys/Native_Word/Uint.thy

Loading...

thys/Native_Word/Uint16.thy

Loading...

thys/Native_Word/Uint32.thy

Loading...

thys/Native_Word/Uint64.thy

Loading...

thys/Native_Word/Uint8.thy

Loading...

thys/Promela/PromelaDatastructures.thy

Loading...

thys/Word_Lib/Aligned.thy

Loading...

thys/Word_Lib/Bit_Comprehension.thy

Loading...

thys/Word_Lib/Bits_Int.thy

Loading...

thys/Word_Lib/Bitwise.thy

Loading...

thys/Word_Lib/Examples.thy

Loading...

thys/Word_Lib/Generic_set_bit.thy

Loading...

thys/Word_Lib/Guide.thy

Loading...

thys/Word_Lib/Least_significant_bit.thy

Loading...

thys/Word_Lib/Legacy_Aliases.thy

Loading...

thys/Word_Lib/More_Word_Operations.thy

Loading...

thys/Word_Lib/Most_significant_bit.thy

Loading...

thys/Word_Lib/Reversed_Bit_Lists.thy

Loading...

thys/Word_Lib/Rsplit.thy

Loading...

thys/Word_Lib/Syntax_Bundles.thy

Loading...

thys/Word_Lib/Traditional_Infix_Syntax.thy

Loading...

thys/Word_Lib/Typedef_Morphisms.thy

Loading...

thys/Word_Lib/Word_EqI.thy

Loading...

thys/Word_Lib/Word_Lemmas.thy

Loading...

thys/Word_Lib/Word_Lib_Sumo.thy

Loading...