GitHub - UoYCS-plasma/DPO-Formalisation

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
document		document
.gitignore		.gitignore
Deletion.thy		Deletion.thy
DirectDerivation.thy		DirectDerivation.thy
Generics.thy		Generics.thy
Gluing.thy		Gluing.thy
Graph.thy		Graph.thy
LocalChurchRosser.thy		LocalChurchRosser.thy
Morphism.thy		Morphism.thy
Pullback.thy		Pullback.thy
PullbackConstruction.thy		PullbackConstruction.thy
Pushout.thy		Pushout.thy
ROOT		ROOT
Rule.thy		Rule.thy