Achim D. Brucker 270d675500 Import of official AFP entry for Isabelle 2018.		2018-12-22 12:58:34 +00:00
..
document	Clarified file structure. Official AFP entry is now in directory UPF.	2017-01-07 00:05:52 +00:00
Analysis.thy	Removed references to system generated names.	2017-01-08 22:12:57 +00:00
ElementaryPolicies.thy	Import of official AFP entry for Isabelle 2018.	2018-12-22 12:58:34 +00:00
Monads.thy	Import of official AFP entry for Isabelle 2018.	2018-12-22 12:58:34 +00:00
Normalisation.thy	Import of official AFP entry for Isabelle 2018.	2018-12-22 12:58:34 +00:00
NormalisationTestSpecification.thy	Updated indentation.	2017-01-08 20:03:39 +00:00
ParallelComposition.thy	Removed references to system generated names.	2017-01-08 22:12:57 +00:00
ROOT	Import of official AFP entry for Isabelle 2018.	2018-12-22 12:58:34 +00:00
SeqComposition.thy	Import of current (Isabelle 2017) release of UPF.	2017-12-01 23:07:25 +00:00
Service.thy	Import of official AFP entry for Isabelle 2018.	2018-12-22 12:58:34 +00:00
ServiceExample.thy	Import of official AFP entry for Isabelle 2018.	2018-12-22 12:58:34 +00:00
UPF.thy	Removed references to system generated names.	2017-01-08 22:12:57 +00:00
UPFCore.thy	Import of official AFP entry for Isabelle 2018.	2018-12-22 12:58:34 +00:00