#205 (May 26, 2016, 9:08:11 AM)

	Changes added function "prefixes" and some lemmas (detail / hgweb)
	Started by an SCM change
	Revision: ea8540c715813bc73d1e0489a9170bf12d00d3af
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #205	( 3 hr 48 min )	Console Output
isabelle-repo-makeall	build #205	( 1 hr 16 min )	Console Output