#80 (Mar 11, 2016, 8:47:09 AM)

	Changes generate theorems like 'bool.split_sel' (detail / hgweb)
	Started by an SCM change
	Revision: 75452e3eda14637c99281a073c01a68b9ae945fa
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #80	( 3 hr 3 min )	Console Output
isabelle-repo-makeall	build #80	( 54 min )	Console Output