Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. eliminated suspicious Unicode;
  2. tuned whitespace;
Changeset 7143:618f04bf906f by wenzelm:
eliminated suspicious Unicode;
The file was modified thys/FLP/AsynchronousSystem.thy (diff)
The file was modified thys/Surprise_Paradox/Surprise_Paradox.thy (diff)
Changeset 7142:ae99ba8f8183 by wenzelm:
tuned whitespace;
The file was modified thys/ROBDD/BDT.thy (diff)
The file was modified thys/ROBDD/ROOT (diff)