#16 (Feb 16, 2016, 11:42:45 PM)

	Changes simp rules for fsts, snds, setl, setr (detail / hgweb) make predicator a first-class bnf citizen (detail / hgweb)
	Started by an SCM change
	Revision: 7e4d31eefe6084f9db387d2bd16c1f6741957860
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #16	( 3 hr 10 min )	Console Output
isabelle-repo-makeall	build #16	( 1 hr 2 min )	Console Output