#213 (May 31, 2016, 5:32:07 AM)

	Changes allow multiple recursive methods to co-exist in order to support mutual recursion; (detail / hgweb) apply current morphism to method text before evaluating; (detail / hgweb)
	Started by an SCM change
	Revision: dc221b8945f20a3948177338e22b456c783985f6
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #213	( 1 hr 25 min )	Console Output
isabelle-repo-afp	build #213	( 4 hr 1 min )	Console Output