#667 (Jan 6, 2017, 11:48:08 AM)

	Changes Nuke some vestigial lemmas (now in HOL) from Stable_Matching. (detail / hgweb)
	Started by an SCM change
	This run spent: 5.2 sec waiting; 5 min 42 sec build duration; 5 min 48 sec total from scheduled to completion.
	Revision: ca2ff53f11a838eb7dd1054999c3fa9d4c155ff8

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #667	( 5 min 19 sec )	Console Output