#442 (Sep 15, 2016, 1:37:20 PM)

	Changes add add_eq_0_iff_both_eq_0 and zero_eq_add_iff_both_eq_0 to simp set (detail / hgweb)
	Started by an SCM change
	Revision: e26c7f58d78e7f8562b8cf957e0f5fcd755b814a

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #442	( 1 hr 30 min )	Console Output
isabelle-repo-makeall	build #442	( 1 hr 10 min )	Console Output