afp-mirror
/
UPF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
UPF/UPF
History
Achim D. Brucker ae982dface
afp-mirror/UPF/master This commit looks good Details
Import of official AFP entry for Isabelle 2019. 		2019-06-22 22:49:04 +01:00
..
document Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
Analysis.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
ElementaryPolicies.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
Monads.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
Normalisation.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
NormalisationTestSpecification.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
ParallelComposition.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
ROOT Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
SeqComposition.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
Service.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
ServiceExample.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
UPF.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
UPFCore.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00