#818 (Apr 13, 2017, 7:17:11 PM)

	Changes some proofs about unary PCF (detail / hgweb)
	Started by an SCM change
	This run spent: 8.4 sec waiting; 5 min 37 sec build duration; 5 min 46 sec total from scheduled to completion.
	Revision: d2acd56397850c3ff52dc7146a5e6c2523b3b874

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #818	( 5 min 18 sec )	Console Output