Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. isabelle update_header -- assuming 'section' was meant here;
Changeset 7235:bc805b84353c by wenzelm:
isabelle update_header -- assuming 'section' was meant here;
The file was modified thys/SPARCv8/SparcModel_MMU/MMU.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/RegistersOps.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Instruction.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_State.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Types.thy (diff)
The file was modified thys/SPARCv8/lib/WordDecl.thy (diff)