#96 (Mar 17, 2016, 2:50:10 PM)

	Changes more stuff for extended nonnegative real numbers (detail / hgweb)
	Started by an SCM change
	Revision: ee48e0b4f6699581495ecdb459705399066301d3

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #96	( 3 hr 2 min )	Console Output
isabelle-repo-makeall	build #96	( 59 min )	Console Output