#232 (Jun 8, 2016, 5:47:09 PM)

	Changes generalized bitlen to floor of log (detail / hgweb)
	Started by an SCM change
	Revision: 414e3550e9c0976110cc3a777298da76175141df

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #232	( 3 hr 42 min )	Console Output
isabelle-repo-makeall	build #232	( 1 hr 18 min )	Console Output