Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned op's
  2. tuned op
  3. tuned op
  4. tuned op
Changeset 8652:dc68cccf927c by nipkow:
tuned op's
The file was modified thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_BLPbasic.thy (diff)
Changeset 8651:ab77a350d6d7 by nipkow:
tuned op
The file was modified thys/Buildings/Chamber.thy (diff)
Changeset 8650:e96ec6ecd309 by nipkow:
tuned op
The file was modified thys/Density_Compiler/PDF_Target_Semantics.thy (diff)
Changeset 8649:449993cf90ca by nipkow:
tuned op
The file was modified thys/Ergodic_Theory/Measure_Preserving_Transformations.thy (diff)