#1 (Jan 30, 2016, 12:54:54 PM)

	No changes.
	Started by upstream project "isabelle-repo-checkin" build number 1
	Revision: 527488dc8b902a9bb0b56247740dc19bd3a57e43
	Revision: ce0696e2d872c460f801fc3c73414a09c846377b
	Aborted by user anonymous