#1346 (Jan 20, 2018, 12:35:09 PM)

	Changes move lemmas from new entry to proper theory; generalize ffact_Suc_rev (detail / hgweb)
	Started by an SCM change
	This run spent: 5.9 sec waiting; 3 min 53 sec build duration; 3 min 59 sec total from scheduled to completion.
	Revision: 14c525483c5614143e70bc607ff1541ae2bb9f77
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1346	( 3 min 21 sec )	Console Output