#807 (Mar 16, 2017, 3:01:06 PM)

	Changes Removal of [simp] status for greaterThan_0. Moved two theorems into main HOL. (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 3 sec waiting; 1 hr 33 min build duration; 1 hr 38 min total from scheduled to completion.
	Revision: 917ae0ba03a26d54bde67b8319f09e25522a0f89
	Resume build

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