#1284 (Nov 7, 2017, 2:58:09 PM)

	Changes Replaced { } proofs by local lemmas; added Hoare logic with logical variables. (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 5 sec waiting; 50 min build duration; 55 min total from scheduled to completion.
	Revision: 7a37240783630ced78d1fda1d043e11107ee08d3

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1284	( 49 min )	Console Output
isabelle-repo-afp	build #1284	( 3 min 10 sec )	Console Output