#441 (Sep 15, 2016, 11:57:14 AM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 441 originally caused by: Started by an SCM change
	Revision: b4051d3f4e94a9ef786679b0193a84f9e256bbd3
	Revision: 88ebc309096af964a89f88a72e175fcaa4608412