#407 (Sep 5, 2016, 12:24:12 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 407 originally caused by: Started by an SCM change
	Revision: b87d9d2ca67b74c8c5e200500372731b5f998ac7
	Revision: c2e328e64dc1ebacf5752aadfee6b9ddd35b5f6f