Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. improved sectioning
Changeset 68778:4566bac4517d by nipkow:
improved sectioning
The file was modified src/HOL/IMP/ACom.thy (diff)
The file was modified src/HOL/IMP/Abs_Int0.thy (diff)
The file was modified src/HOL/IMP/Abs_Int1.thy (diff)
The file was modified src/HOL/IMP/Abs_Int1_const.thy (diff)
The file was modified src/HOL/IMP/Abs_Int1_parity.thy (diff)
The file was modified src/HOL/IMP/Abs_Int2.thy (diff)
The file was modified src/HOL/IMP/Abs_Int2_ivl.thy (diff)
The file was modified src/HOL/IMP/Abs_Int3.thy (diff)
The file was modified src/HOL/IMP/Abs_Int_Tests.thy (diff)
The file was modified src/HOL/IMP/Abs_State.thy (diff)
The file was modified src/HOL/IMP/Collecting.thy (diff)
The file was modified src/HOL/IMP/Collecting1.thy (diff)
The file was modified src/HOL/IMP/Collecting_Examples.thy (diff)
The file was modified src/HOL/IMP/Complete_Lattice.thy (diff)