#204 (May 25, 2016, 7:45:21 PM)

	Changes Merge (detail / hgweb) Merge (detail / hgweb) moved two theorems (detail / hgweb) updated proof of Residue Theorem (form Wenda Li) (detail / hgweb) merged (detail / hgweb) renamed suffix(eq) (detail / hgweb) updated 'define'; (detail / hgweb)
	Started by an SCM change
	Revision: f8a3f11bf6e734356bed5498872dbe6b6bd244d2
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #204	( 1 hr 23 min )	Console Output
isabelle-repo-afp	build #204	( 4 hr 5 min )	Console Output