isabelle: Changelog

wenzelm [Wed, 21 Dec 2016 16:32:34 +0100] rev 64646

tuned messages;

wenzelm [Wed, 21 Dec 2016 16:28:02 +0100] rev 64645

proper pattern match;

wenzelm [Wed, 21 Dec 2016 16:22:23 +0100] rev 64644

more explicit error;

wenzelm [Wed, 21 Dec 2016 16:14:47 +0100] rev 64643

more explicit error;

wenzelm [Wed, 21 Dec 2016 16:02:52 +0100] rev 64642

display messages, according to regular Isabelle Output;

wenzelm [Wed, 21 Dec 2016 11:55:59 +0100] rev 64641

tuned;

wenzelm [Wed, 21 Dec 2016 11:41:05 +0100] rev 64640

clarified node_name: preserve original uri;

wenzelm [Wed, 21 Dec 2016 11:21:46 +0100] rev 64639

clarified directories;

blanchet [Fri, 23 Dec 2016 00:13:30 +0100] rev 64638

generalized generation of coinduction goal (towards nonuniform codatatypes)

blanchet [Thu, 22 Dec 2016 19:14:58 +0100] rev 64637

export ML functions (towards nonuniform codatatypes) + signature tuning

isabelle