Summary
- - Renaming locale
The file was modified | thys/DynamicArchitectures/Configuration_Traces.thy (diff) |
The file was modified | thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff) |
The file was modified | thys/DynamicArchitectures/Configuration_Traces.thy (diff) |
The file was modified | thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff) |