#1359 (Jan 24, 2018, 6:41:09 PM)

	Changes Resolution_FOL extended with more soundness and completeness theorems (detail / hgweb)
	Started by an SCM change
	This run spent: 5.6 sec waiting; 4 min 18 sec build duration; 4 min 24 sec total from scheduled to completion.
	Revision: 1372df8e7299f7402de92ac5559611cffb6ccbc3

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