#208 (May 27, 2016, 10:47:10 PM)

	Changes tuned proofs, to allow unfold_abs_def; (detail / hgweb) clarified "unfold" operations; (detail / hgweb) tuned proof; (detail / hgweb)
	Started by an SCM change
	Revision: eae6549dbea291a8cec6746896fcda46d03ff0de
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #208	( 1 hr 25 min )	Console Output
isabelle-repo-afp	build #208	( 4 hr 3 min )	Console Output