Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned for new op syntax
Changeset 8662:3bdd1e72ab2a by nipkow:
tuned for new op syntax
The file was modified thys/Strong_Security/Language_Composition.thy (diff)
The file was modified thys/Strong_Security/Strong_Security.thy (diff)
The file was modified thys/Strong_Security/Strongly_Secure_Skip_Assign.thy (diff)