#280 (Jul 5, 2016, 6:26:12 PM)

	Changes avoid reference to invisible theorem, by using another one instead (suggested by Anders Schlichtkrull; the document's author is incomunicado) (detail / hgweb) tuning (detail / hgweb) typo (reported by Anders Schlichtkrull) (detail / hgweb)
	Started by an SCM change
	Revision: 786074d8d61bd13eedaedad7b0c782a1641cafc2
	Resume build

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