#184 (May 12, 2016, 10:48:45 PM)

	Changes common entity definitions within a global or local theory context; (detail / hgweb)
	Started by an SCM change
	Revision: 7aa9ac5165e43ebf604bdd754b4bbbb2e864806c
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #184	( 3 hr 52 min )	Console Output
isabelle-repo-makeall	build #184	( 1 hr 32 min )	Console Output