#679 (Jan 11, 2017, 7:42:10 AM)

	Changes more lemmas about remove1_mset/removeAll_mset (detail / hgweb)
	Started by an SCM change
	This run spent: 8.7 sec waiting; 24 min build duration; 24 min total from scheduled to completion.
	Revision: 1cef40bee734d749807f0ee8fd2644ea612bae44

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #679	( 4 min 27 sec )	Console Output