#1658 (May 15, 2018, 11:46:04 AM)

	Changes move FuncSet back to HOL-Library (amending 493b818e8e10) (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 2 sec waiting; 3 hr 16 min build duration; 3 hr 21 min total from scheduled to completion.
	Revision: 2af1f142f8555e838a6c06ea3dc6a2c9a59809c4

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1658	( 1 hr 0 min )	Console Output
isabelle-repo-afp	build #1658	( 1 hr 41 min )	Console Output