#59 (Mar 2, 2016, 10:02:09 AM)

	Changes added invariant proofs to AA trees (detail / hgweb)
	Started by an SCM change
	Revision: f187aaf602c4f9cc29a010d5b71b1fade062f1f4
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #59	( 1 min 26 sec )	Console Output
isabelle-repo-makeall	build #59	( 52 min )	Console Output