#1505 (Apr 13, 2018, 11:47:10 PM)

	Changes Nominal2: permute definition and pt instance proof handle indirect recursion (detail / hgweb)
	Started by an SCM change
	This run spent: 7.4 sec waiting; 12 min build duration; 12 min total from scheduled to completion.
	Revision: d2f502a794b7e6abe54befa688a3c195f4fa3cbc

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