#156 (Apr 18, 2016, 3:32:09 PM)

	Changes new theorems about convex hulls, etc.; also, renamed some theorems (detail / hgweb)
	Started by an SCM change
	Revision: aa894a49f77d978651b00369fb2c81dbe2fb0755
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #156	( 1 hr 27 min )	Console Output
isabelle-repo-afp	build #156	( 4.8 sec )	Console Output