#307 (Jul 14, 2016, 3:50:18 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 307
	Revision: a662e81398044af0cabdc15ca6e8c3c41c3530aa
	Revision: 47898d2dab8f45d3bf3a1d2105924be6d93195c7