#278 (Jul 5, 2016, 3:32:11 PM)

	Changes instantiate multiset with multiset ordering (detail / hgweb)
	Started by an SCM change
	Revision: a095acd4cfbf28e35a23c9e903ea6a8801313cc6
	Resume build

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