isabelle: Changelog

wenzelm [Mon, 21 Sep 2015 15:07:23 +0200] rev 61209

tuned signature;

wenzelm [Mon, 21 Sep 2015 14:56:55 +0200] rev 61208

separate panel for proof state output;

wenzelm [Mon, 21 Sep 2015 14:56:10 +0200] rev 61207

tuned;

wenzelm [Mon, 21 Sep 2015 13:53:35 +0200] rev 61206

more specific name to reduce danger of clash with direct uses of plain Command.print_function;

wenzelm [Mon, 21 Sep 2015 11:45:03 +0200] rev 61205

tuned;

paulson [Mon, 21 Sep 2015 19:52:13 +0100] rev 61204

new lemmas and movement of lemmas into place

nipkow [Mon, 21 Sep 2015 14:44:32 +0200] rev 61203

New subdirectory for functional data structures

nipkow [Mon, 21 Sep 2015 11:31:56 +0200] rev 61202

Added new simplifier predicate ASSUMPTION

wenzelm [Sat, 19 Sep 2015 22:32:26 +0200] rev 61201

eliminated suspicious unicode;

wenzelm [Sat, 19 Sep 2015 22:32:13 +0200] rev 61200

eliminated hard tabs;

isabelle