Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. proper \<circle>;
  2. proper \<circle>;
  3. proper \<circle>;
Changeset 6390:4023cc60bfb6 by wenzelm:
proper \&lt;circle&gt;;
The file was modified thys/AutoFocus-Stream/IL_AF_Stream.thy (diff)
The file was modified thys/AutoFocus-Stream/IL_AF_Stream_Exec.thy (diff)
The file was modified thys/AutoFocus-Stream/document/root.tex (diff)
The file was modified thys/List-Infinite/Readme_Symbols (diff)
The file was modified thys/Nat-Interval-Logic/IL_TemporalOperators.thy (diff)
The file was modified thys/Nat-Interval-Logic/document/root.tex (diff)
Changeset 6389:f519212776d4 by wenzelm:
proper \&lt;circle&gt;;
The file was modified thys/RefinementReactive/Temporal.thy (diff)
The file was modified thys/RefinementReactive/document/root.tex (diff)
Changeset 6388:efe694bba6d1 by wenzelm:
proper \&lt;circle&gt;;
The file was modified thys/TLA/Buffer.thy (diff)
The file was modified thys/TLA/Even.thy (diff)
The file was modified thys/TLA/Inc.thy (diff)
The file was modified thys/TLA/Liveness.thy (diff)
The file was modified thys/TLA/PreFormulas.thy (diff)
The file was modified thys/TLA/Rules.thy (diff)
The file was modified thys/TLA/Semantics.thy (diff)
The file was modified thys/TLA/document/root.tex (diff)