#1216 (Nov 18, 2017, 2:38:12 PM)

	Changes removed dependence on Nat_Transfer.thy (detail / hgweb)
	Started by an SCM change
	This run spent: 9.7 sec waiting; 4 min 38 sec build duration; 4 min 48 sec total from scheduled to completion.
	Revision: 1e1de6a597bf859888838b52471c76171717cdcb

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1216	( 4 min 2 sec )	Console Output