#1052 (Aug 31, 2017, 1:38:10 PM)

	Changes index_times_mat -> index_mult_mat, more lemmas on binary minus for vectors and matrices (detail / hgweb)
	Started by an SCM change
	This run spent: 8.3 sec waiting; 23 min build duration; 23 min total from scheduled to completion.
	Revision: cec1317ea1af6930f1c0f9d4a1b9d5ba42e9059f

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