Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Zusammenführen
  2. Some smaller changes to the rules of the calculus
  3. Some smaller changes to the rules of the calculus
Changeset 8227:d2cdffdc4038 by diego marmsoler _diego.marmsoler@tum.de_:
Zusammenführen
Changeset 8226:e13463bca507 by diego marmsoler _diego.marmsoler@tum.de_:
Some smaller changes to the rules of the calculus
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
Changeset 8225:10d89e8b7d81 by diego marmsoler _diego.marmsoler@tum.de_:
Some smaller changes to the rules of the calculus
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)