#132 (Apr 5, 2016, 8:29:07 PM)

	Changes single uniqueness theorems for map, (un)fold, (co)rec for mutual (co)datatypes (detail / hgweb)
	Started by an SCM change
	Revision: e0b894bba6ff6ffc7c4f4f61e0423f277b074cf3
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #132	( 3 hr 35 min )	Console Output
isabelle-repo-makeall	build #132	( 1 hr 14 min )	Console Output