#443 (Sep 15, 2016, 4:11:49 PM)

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