Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
.github/workflows		.github/workflows
LICENSE		LICENSE
README.md		README.md
ROOT		ROOT
utp_des_core.thy		utp_des_core.thy
utp_des_healths.thy		utp_des_healths.thy
utp_des_hoare.thy		utp_des_hoare.thy
utp_des_laws.thy		utp_des_laws.thy
utp_des_prog.thy		utp_des_prog.thy
utp_des_tactics.thy		utp_des_tactics.thy
utp_des_theory.thy		utp_des_theory.thy
utp_des_wp.thy		utp_des_wp.thy
utp_designs.thy		utp_designs.thy