#258 (Jun 20, 2016, 11:05:20 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 258
	Revision: 83a91a73fcb551bcf6fdaa8887a11d4d866cea40
	Revision: bfc5a6a2a8bdff263669e70accdb3420b55b326e