Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Update references;
Changeset 6611:1e8e4edc2d54 by salomon sickert _sickert@in.tum.de_:
Update references;
The file was modified thys/LTL/LTL_Rewrite.thy (diff)
The file was modified thys/LTL/document/root.bib (diff)