#848 (Apr 21, 2017, 10:41:58 PM)

	Changes moved lemmas from AFP to Isabelle (detail / hgweb) moved lemmas from AFP to Isabelle (detail / hgweb)
	Started by an SCM change
	This run spent: 6.1 sec waiting; 4 hr 3 min build duration; 4 hr 3 min total from scheduled to completion.
	Revision: 97a204060e05898d86b28da24d75f325db35026b

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #848	( 1 hr 0 min )	Console Output