#211 (May 30, 2016, 9:20:08 AM)

	Changes explicit check that abstract constructors cannot be part of official interface (detail / hgweb) do not export abstract constructors in code_reflect (detail / hgweb)
	Started by an SCM change
	Revision: d191892b1c23dffd7eb70376dcc873a42c96c7cc
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #211	( 4 hr 2 min )	Console Output
isabelle-repo-makeall	build #211	( 1 hr 15 min )	Console Output