Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Zusammenführen
  2. - Some layouting
  3. - Adding lemma lNact_least - Adding lemma nxtActLe - Adding lemma nxt_geq_lNact
Changeset 8248:2c8c78771176 by diego marmsoler _diego.marmsoler@tum.de_:
Zusammenführen
Changeset 8247:33709d1d4050 by diego marmsoler _diego.marmsoler@tum.de_:
- Some layouting
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)
Changeset 8246:1d1d0a965d1b by diego marmsoler _diego.marmsoler@tum.de_:
- Adding lemma lNact_least<br>- Adding lemma nxtActLe<br>- Adding lemma nxt_geq_lNact
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)