Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. cleanup and additional lemmas from the seL4 proofs Includes Word_Type_Syntax to show word lenghts in scast/ucast.
Changeset 9369:e71738ad674c by kleing:
cleanup and additional lemmas from the seL4 proofs<br><br>Includes Word_Type_Syntax to show word lenghts in scast/ucast.
The file was addedthys/Word_Lib/Word_Type_Syntax.thy
The file was modified thys/Word_Lib/Aligned.thy (diff)
The file was modified thys/Word_Lib/HOL_Lemmas.thy (diff)
The file was modified thys/Word_Lib/Norm_Words.thy (diff)
The file was modified thys/Word_Lib/Word_Lemmas.thy (diff)
The file was modified thys/Word_Lib/Word_Lemmas_32.thy (diff)
The file was modified thys/Word_Lib/Word_Lemmas_64.thy (diff)
The file was modified thys/Word_Lib/Word_Lib.thy (diff)
The file was modified thys/Word_Lib/Word_Setup_32.thy (diff)
The file was modified thys/Word_Lib/Word_Setup_64.thy (diff)
The file was modified thys/Word_Lib/Word_Syntax.thy (diff)
The file was modified thys/Word_Lib/document/root.tex (diff)