Word_Lib: remove trailing whitespace
Showing
- thys/Word_Lib/Bitwise.thy 5 additions, 5 deletionsthys/Word_Lib/Bitwise.thy
- thys/Word_Lib/Enumeration.thy 1 addition, 1 deletionthys/Word_Lib/Enumeration.thy
- thys/Word_Lib/Enumeration_Word.thy 4 additions, 4 deletionsthys/Word_Lib/Enumeration_Word.thy
- thys/Word_Lib/More_Arithmetic.thy 1 addition, 1 deletionthys/Word_Lib/More_Arithmetic.thy
- thys/Word_Lib/More_Int.thy 1 addition, 1 deletionthys/Word_Lib/More_Int.thy
- thys/Word_Lib/More_Word.thy 6 additions, 6 deletionsthys/Word_Lib/More_Word.thy
- thys/Word_Lib/More_Word_Operations.thy 13 additions, 13 deletionsthys/Word_Lib/More_Word_Operations.thy
- thys/Word_Lib/Reversed_Bit_Lists.thy 10 additions, 10 deletionsthys/Word_Lib/Reversed_Bit_Lists.thy
- thys/Word_Lib/Rsplit.thy 12 additions, 12 deletionsthys/Word_Lib/Rsplit.thy
- thys/Word_Lib/Signed_Division_Word.thy 2 additions, 2 deletionsthys/Word_Lib/Signed_Division_Word.thy
- thys/Word_Lib/Typedef_Morphisms.thy 1 addition, 1 deletionthys/Word_Lib/Typedef_Morphisms.thy
Loading
Please register or sign in to comment