#148 (Apr 14, 2016, 3:53:08 PM)

	Changes Probability: move emeasure and nn_integral from ereal to ennreal (detail / hgweb)
	Started by an SCM change
	Revision: 1d066f6ab25d74f30ce9619c3d9d93578f67d1eb
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #148	( 1 min 41 sec )	Console Output
isabelle-repo-makeall	build #148	( 1 hr 7 min )	Console Output