#307 (Jul 14, 2016, 3:50:08 PM)

	Changes More advanced theorems about retracts, homotopies., etc (detail / hgweb)
	Started by an SCM change
	Revision: a662e81398044af0cabdc15ca6e8c3c41c3530aa
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #307	( 55 min )	Console Output
isabelle-repo-makeall	build #307	( 1 hr 5 min )	Console Output