#230 (May 30, 2016, 5:01:46 PM)

	Changes proof simplification: do not expand definition of factors_of_rat_poly (detail / hgweb)
	Started by an SCM change
	Revision: f37b8ebf5d93be8d1adefa424a4bab7596e2eadd
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #230	( 3 hr 34 min )	Console Output