#425 (Sep 10, 2016, 4:03:13 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 425 originally caused by: Started by an SCM change
	Revision: ea7471c921f58c93af5ba5be45ba6f4892dd7f45
	Revision: af6a4adc1a8ecb62ac0d68695e866160d1c4a24f