#579 (Nov 20, 2016, 12:35:10 PM)

	Changes more lemmas about syntactic ordinals (detail / hgweb)
	Started by an SCM change
	This run spent: 7.3 sec waiting; 12 min build duration; 13 min total from scheduled to completion.
	Revision: 5971b0cac729c872c92210dd6045de57e23445fe
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #579	( 12 min )	Console Output