isabelle: Changelog

traytel [Tue, 19 Mar 2013 15:59:58 +0100] rev 51462

extended stream library

kleing [Tue, 19 Mar 2013 14:04:53 +0100] rev 51461

export datatype definition which gets expanded too much in antiquotation

nipkow [Tue, 19 Mar 2013 14:07:13 +0100] rev 51460

tuned

Andreas Lochbihler [Tue, 19 Mar 2013 13:19:21 +0100] rev 51459

add induction rule for partial_function (tailrec)

wenzelm [Mon, 18 Mar 2013 20:02:37 +0100] rev 51458

prefer ownerless window, to avoid question of potentially changing parent view;

wenzelm [Mon, 18 Mar 2013 19:33:25 +0100] rev 51457

proper parent component for window.init;

kleing [Mon, 18 Mar 2013 19:20:53 +0100] rev 51456

lemma names and a corollary

kleing [Mon, 18 Mar 2013 14:47:20 +0100] rev 51455

managed to eliminate further snippets

kleing [Mon, 18 Mar 2013 14:27:38 +0100] rev 51454

fewer IMP snippets

wenzelm [Mon, 18 Mar 2013 13:18:42 +0100] rev 51453

merged

isabelle