Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- sorted out lemmas
The file was modified | thys/IP_Addresses/IPv6.thy |
The file was modified | thys/LOFT/LinuxRouter_OpenFlow_Translation.thy |
The file was modified | thys/Native_Word/Code_Target_Word_Base.thy |
The file was modified | thys/Word_Lib/Even_More_List.thy |
The file was modified | thys/Word_Lib/Many_More.thy |
The file was modified | thys/Word_Lib/More_Arithmetic.thy |
The file was modified | thys/Word_Lib/More_Divides.thy |
The file was modified | thys/Word_Lib/More_Misc.thy |
The file was modified | thys/Word_Lib/More_Word.thy |
The file was modified | thys/Word_Lib/More_Word_Operations.thy |
The file was modified | thys/Word_Lib/Reversed_Bit_Lists.thy |
The file was modified | thys/Word_Lib/Rsplit.thy |
The file was modified | thys/Word_Lib/Word_Lemmas.thy |