merge from afp-2025
No related branches found
No related tags found
Showing
- metadata/entries/Word_Lib.toml 2 additions, 0 deletionsmetadata/entries/Word_Lib.toml
- thys/Word_Lib/Aligned.thy 21 additions, 15 deletionsthys/Word_Lib/Aligned.thy
- thys/Word_Lib/Bitwise.thy 5 additions, 5 deletionsthys/Word_Lib/Bitwise.thy
- thys/Word_Lib/Enumeration.thy 1 addition, 2 deletionsthys/Word_Lib/Enumeration.thy
- thys/Word_Lib/Enumeration_Word.thy 4 additions, 5 deletionsthys/Word_Lib/Enumeration_Word.thy
- thys/Word_Lib/Generic_set_bit.thy 0 additions, 1 deletionthys/Word_Lib/Generic_set_bit.thy
- thys/Word_Lib/More_Arithmetic.thy 1 addition, 2 deletionsthys/Word_Lib/More_Arithmetic.thy
- thys/Word_Lib/More_Divides.thy 0 additions, 1 deletionthys/Word_Lib/More_Divides.thy
- thys/Word_Lib/More_Int.thy 1 addition, 2 deletionsthys/Word_Lib/More_Int.thy
- thys/Word_Lib/More_Word.thy 6 additions, 7 deletionsthys/Word_Lib/More_Word.thy
- thys/Word_Lib/More_Word_Operations.thy 13 additions, 14 deletionsthys/Word_Lib/More_Word_Operations.thy
- thys/Word_Lib/Most_significant_bit.thy 0 additions, 1 deletionthys/Word_Lib/Most_significant_bit.thy
- thys/Word_Lib/Reversed_Bit_Lists.thy 10 additions, 11 deletionsthys/Word_Lib/Reversed_Bit_Lists.thy
- thys/Word_Lib/Rsplit.thy 12 additions, 13 deletionsthys/Word_Lib/Rsplit.thy
- thys/Word_Lib/Signed_Division_Word.thy 2 additions, 3 deletionsthys/Word_Lib/Signed_Division_Word.thy
- thys/Word_Lib/Typedef_Morphisms.thy 1 addition, 2 deletionsthys/Word_Lib/Typedef_Morphisms.thy
- thys/Word_Lib/Word_Lemmas.thy 8 additions, 9 deletionsthys/Word_Lib/Word_Lemmas.thy
- web/authors/ballenghien/index.html 13 additions, 0 deletionsweb/authors/ballenghien/index.html
- web/authors/ballenghien/index.xml 8 additions, 0 deletionsweb/authors/ballenghien/index.xml
- web/authors/taha/index.html 1 addition, 1 deletionweb/authors/taha/index.html
Loading
Please register or sign in to comment