Skip to content
Success

Changes

Summary

  1. Removed references to system generated names.
Changeset 7540:6a270b22a9e2 by achim d. brucker _brucker@spamfence.net_:
Removed references to system generated names.
The file was modified thys/UPF/Analysis.thy (diff)
The file was modified thys/UPF/ElementaryPolicies.thy (diff)
The file was modified thys/UPF/Monads.thy (diff)
The file was modified thys/UPF/Normalisation.thy (diff)
The file was modified thys/UPF/NormalisationTestSpecification.thy (diff)
The file was modified thys/UPF/ParallelComposition.thy (diff)
The file was modified thys/UPF/SeqComposition.thy (diff)
The file was modified thys/UPF/Service.thy (diff)
The file was modified thys/UPF/ServiceExample.thy (diff)
The file was modified thys/UPF/UPF.thy (diff)
The file was modified thys/UPF/UPFCore.thy (diff)