#106 (Mar 24, 2016, 11:23:08 AM)

	Changes HOL-Word: add stronger bl_to_bin_lt2p_drop (detail / hgweb)
	Started by an SCM change
	Revision: 715bf5beedc060bb8b27877185cc88c8e7467e5c
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #106	( 1 hr 14 min )	Console Output
isabelle-repo-afp	build #106	( 3 hr 1 min )	Console Output