afp-mirror/UPF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
main
UPF/UPF
History
Achim D. Brucker 03cc0ac118 Migration to Isabelle 2021-1 (based on afp-2021-12-28).
2021-12-28 09:00:23 +00:00
..
document Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-28 09:00:23 +00: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