#202 (May 25, 2016, 12:26:08 PM)

	Changes NEWS: Permutations of a set and randomised folds (detail / hgweb)
	Started by an SCM change
	Revision: 76130b7cc450b5985f95972bfa897f40b2164dfc
	Resume build

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