files Splits.agda and PredicatePart.agda need special attention.
	modified:   Categories/Idems.agda
	modified:   Categories/Isos.agda
	modified:   Categories/Pullbacks/PastingLemmas.agda
	modified:   Categories/Sections.agda
	modified:   Functors.agda
	modified:   Monads.agda
	modified:   Monads/Delay.agda
	modified:   Monads/EMAlgebras.agda
	modified:   Monads/EMCat.agda
	modified:   Monads/PredicatePart.agda
	modified:   PartialMaps.agda
	modified:   ProductCats.agda
	modified:   Products.agda
	modified:   RestrictionDelay.agda
	modified:   RestrictionFunctors.agda
	modified:   RestrictionMaybe.agda
	modified:   RestrictionPred.agda
	modified:   Soundness.agda
	modified:   Splits.agda
	modified:   StrongFuns.agda
	modified:   Totals.agda
	modified:   Utilities.agda