#236 (Jun 10, 2016, 2:56:07 PM)

	Changes Better treatment of assumptions/goals that are simply Boolean variables. Also cosmetic changes. (detail / hgweb)
	Started by an SCM change
	Revision: 9a2377b96ffd6a707451dd01ffb4b974a87c770e

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #236	( 1 hr 26 min )	Console Output
isabelle-repo-afp	build #236	( 3 hr 43 min )	Console Output