-
Björn Brandenburg authored
This avoids the need to use @-notation when establishing platform properties (e.g., in facts about ideal schedules). Thanks to Maxime for the suggestion.
47c0d32f
This avoids the need to use @-notation when establishing platform properties (e.g., in facts about ideal schedules). Thanks to Maxime for the suggestion.