#308 (Jul 14, 2016, 5:50:09 PM)

	Changes Got rid of the \nexists macro (detail / hgweb)
	Started by an SCM change
	Revision: d51a0a772094bf71ca220dec4648d08966055a21

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #308	( 1 hr 10 min )	Console Output
isabelle-repo-afp	build #308	( 1 hr 8 min )	Console Output