#278 (Mar 30, 2023, 10:36:02 AM)

	Changes Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default) added more simplification rules involving Zero (detail)
	Started by an SCM change
	This run spent: 2 min 0 sec waiting; 11 sec build duration; 2 min 11 sec total from scheduled to completion.
	Revision: fea7bc828b8bf2ce8a3e2e309a44d939f1d76028
	Revision: f0dfd9de026b80a9890e48998e04ab8bd63ab89c
	Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d Repository: https://github.com/isabelle-prover/isabelle-context-build.git refs/remotes/origin/master