Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. additional lemmas about alw and suntil (by Michael Foster)
Changeset 71462:ed8d50969995 by traytel:
merged
Changeset 71461:5e25a693c5cf by traytel:
additional lemmas about alw and suntil (by Michael Foster)
The file was modified src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy (diff)