Word_Lib: move change log entries to metadata
Showing
- metadata/entries/Word_Lib.toml 2 additions, 0 deletionsmetadata/entries/Word_Lib.toml
- thys/Word_Lib/Aligned.thy 0 additions, 1 deletionthys/Word_Lib/Aligned.thy
- thys/Word_Lib/Enumeration.thy 0 additions, 1 deletionthys/Word_Lib/Enumeration.thy
- thys/Word_Lib/Enumeration_Word.thy 0 additions, 1 deletionthys/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 0 additions, 1 deletionthys/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 0 additions, 1 deletionthys/Word_Lib/More_Int.thy
- thys/Word_Lib/More_Word.thy 0 additions, 1 deletionthys/Word_Lib/More_Word.thy
- thys/Word_Lib/More_Word_Operations.thy 0 additions, 1 deletionthys/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 0 additions, 1 deletionthys/Word_Lib/Reversed_Bit_Lists.thy
- thys/Word_Lib/Rsplit.thy 0 additions, 1 deletionthys/Word_Lib/Rsplit.thy
- thys/Word_Lib/Signed_Division_Word.thy 0 additions, 1 deletionthys/Word_Lib/Signed_Division_Word.thy
- thys/Word_Lib/Typedef_Morphisms.thy 0 additions, 1 deletionthys/Word_Lib/Typedef_Morphisms.thy
- thys/Word_Lib/Word_Lemmas.thy 8 additions, 9 deletionsthys/Word_Lib/Word_Lemmas.thy
Loading
Please register or sign in to comment