#194 (May 23, 2016, 3:56:06 PM)

	Changes removed odd cases rule (see also 8cb42cd97579); (detail / hgweb) tuned proofs; (detail / hgweb) tuned document; (detail / hgweb) misc tuning and modernization; (detail / hgweb) proper document source; tuned proofs; (detail / hgweb) misc tuning and modernization; (detail / hgweb)
	Started by an SCM change
	Revision: fe31996e3898257268b062d34c3c54fcb11b9d97
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #194	( 4 hr 1 min )	Console Output
isabelle-repo-makeall	build #194	( 1 hr 23 min )	Console Output