#18 (Feb 17, 2016, 3:41:11 PM)

	Changes correct (apparently untested) e1698a9578ea (detail / hgweb) document predicator in datatypes (detail / hgweb) derive transfer rule for predicator (detail / hgweb) call the predicator of list list_all (detail / hgweb)
	Started by an SCM change
	Revision: e923f200bda5bb23bcfef75f2d916c7a3b189669
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #18	( 1 min 22 sec )	Console Output
isabelle-repo-makeall	build #18	( 58 min )	Console Output