#380 (Aug 17, 2016, 9:57:02 AM)

	Changes merged (detail / hgweb) coinduction method accepts a list of coinduction rules (takes the first matching one) (detail / hgweb)
	Started by an SCM change
	Revision: a2dffa971ec65e96384f972ca2fdebfdf12fb3cc
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #380	( 1 hr 19 min )	Console Output
isabelle-repo-makeall	build #380	( 54 min )	Console Output