#74 (Mar 9, 2016, 2:53:07 PM)

	Changes explicit record values for dictionary variables (detail / hgweb) provide explicit hint concering uniqueness of derivation (detail / hgweb) syntax for multiset membership modelled after syntax for set membership (detail / hgweb)
	Started by an SCM change
	Revision: 00f8bca4aba0d9ca0c1565e08e31ae42ea0586c3
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #74	( 3 hr 5 min )	Console Output
isabelle-repo-makeall	build #74	( 59 min )	Console Output