Achim D. Brucker
ae982dface
afp-mirror/UPF/master This commit looks good
Details
|
||
---|---|---|
.. | ||
document | ||
Analysis.thy | ||
ElementaryPolicies.thy | ||
Monads.thy | ||
Normalisation.thy | ||
NormalisationTestSpecification.thy | ||
ParallelComposition.thy | ||
ROOT | ||
SeqComposition.thy | ||
Service.thy | ||
ServiceExample.thy | ||
UPF.thy | ||
UPFCore.thy |