#60 (Mar 2, 2016, 10:55:14 AM)

	Changes respect qualification when noting theorems in prim(co)rec (detail / hgweb)
	Started by an SCM change
	Revision: 5b5b704f4811c3bf6e554d4508bb88dfa3e0cac7
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #60	( 54 min )	Console Output
isabelle-repo-afp	build #60	( 1 min 30 sec )	Console Output