HomeIsabelle/Phabricator
Diffusion afp-devel 3b3d09186d48

more collecting and grouping of lemmas
3b3d09186d48
Actions

Description

more collecting and grouping of lemmas

Details

Provenance
florian.haftmannAuthored on
Parents
rAFPd70a12cf43c4: collected and streamlined some auxiliary
Branches
Unknown
Tags
Unknown

Changes (30)

PathSize
IP_Addresses/
Even_More_List.thy
More_List.thy

rAFP3b3d09186d48

View Options

thys/IP_Addresses/IPv4.thy

Loading...
View Options

thys/IP_Addresses/NumberWang_IPv6.thy

Loading...
View Options

thys/IP_Addresses/WordInterval.thy

Loading...
View Options

thys/Word_Lib/Aligned.thy

Loading...
View Options

thys/Word_Lib/Bits_Int.thy

Loading...
View Options

thys/Word_Lib/Bitwise.thy

Loading...
View Options

thys/Word_Lib/Enumeration_Word.thy

Loading...
View Options

thys/Word_Lib/Even_More_List.thy

Loading...
View Options

thys/Word_Lib/Examples.thy

Loading...
View Options

thys/Word_Lib/Legacy_Aliasses.thy

Loading...
View Options

thys/Word_Lib/More_Arithmetic.thy

Loading...
View Options

thys/Word_Lib/More_Divides.thy

Loading...
View Options

thys/Word_Lib/More_List.thy

Loading...
View Options

thys/Word_Lib/More_Misc.thy

Loading...
View Options

thys/Word_Lib/More_Sublist.thy

Loading...
View Options

thys/Word_Lib/More_Word.thy

Loading...
View Options

thys/Word_Lib/Most_significant_bit.thy

Loading...
View Options

thys/Word_Lib/Reversed_Bit_Lists.thy

Loading...
View Options

thys/Word_Lib/Strict_part_mono.thy

Loading...
View Options

thys/Word_Lib/Traditional_Infix_Syntax.thy

Loading...
View Options

thys/Word_Lib/Typedef_Morphisms.thy

Loading...
View Options

thys/Word_Lib/Word_16.thy

Loading...
View Options

thys/Word_Lib/Word_32.thy

Loading...
View Options

thys/Word_Lib/Word_64.thy

Loading...
View Options

thys/Word_Lib/Word_8.thy

Loading...
View Options

thys/Word_Lib/Word_Lemmas.thy

Loading...
View Options

thys/Word_Lib/Word_Lib.thy

Loading...
View Options

thys/Word_Lib/Word_Lib_Sumo.thy

Loading...