#439 (Sep 13, 2016, 9:03:05 PM)

	Changes don't expose internal construction in the coinduction rule for mutual coinductive predicates (detail / hgweb)
	Started by an SCM change
	Revision: d14e580c3b8fb69a2a7ee3cf4653fee9030ef040

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