#167 (Apr 20, 2016, 10:14:11 AM)

	Changes use poly_of_list from Polynomial.thy, renamed list_to_poly_f to poly_of_list_f (detail / hgweb)
	Started by an SCM change
	Revision: 197f05720471d0005b381f02a02c68c084b60f3b

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