Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Zusammenführen
  2. - configurations and architectures as fixed types
Changeset 8309:d0069333f934 by diego marmsoler _diego.marmsoler@tum.de_:
Zusammenführen
Changeset 8308:9197bb88fd35 by diego marmsoler _diego.marmsoler@tum.de_:
- configurations and architectures as fixed types
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)