Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. consolidate additional lemmas from IP_Addresses into Word_Lib (as discussed with Cornelius)
  2. Word_Lib: remove trailing whitespace
Changeset 9443:a0dcf00a45c3 by kleing:
consolidate additional lemmas from IP_Addresses into Word_Lib<br><br>(as discussed with Cornelius)
The file was addedthys/Word_Lib/Word_Next.thy
The file was modified thys/IP_Addresses/IP_Address.thy (diff)
The file was modified thys/IP_Addresses/IPv4.thy (diff)
The file was modified thys/IP_Addresses/ROOT (diff)
The file was modified thys/IP_Addresses/WordInterval.thy (diff)
The file was modified thys/Word_Lib/Word_Lemmas.thy (diff)
The file was removedthys/IP_Addresses/Word_More.thy
The file was removedthys/IP_Addresses/Word_Next.thy
Changeset 9442:9ee5943f91dd by kleing:
Word_Lib: remove trailing whitespace
The file was modified thys/Word_Lib/document/root.tex (diff)