#254 (Jun 17, 2016, 10:59:08 PM)

	Changes killed dead code (detail / hgweb) avoid runtime warning with discriminators due to 'Code.del_eqn' (detail / hgweb) killed deadcode (detail / hgweb) be more careful before filtering out chained facts in Sledgehammer (detail / hgweb)
	Started by an SCM change
	Revision: df655e33995c2cb239e062de836a979e046dad9e

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #254	( 4 hr 7 min )	Console Output
isabelle-repo-makeall	build #254	( 1 hr 16 min )	Console Output