traytel [Tue, 19 Mar 2013 15:59:58 +0100] rev 52599
extended stream library
kleing [Tue, 19 Mar 2013 14:04:53 +0100] rev 52598
export datatype definition which gets expanded too much in antiquotation
nipkow [Tue, 19 Mar 2013 14:07:13 +0100] rev 52597
tuned
Andreas Lochbihler [Tue, 19 Mar 2013 13:19:21 +0100] rev 52596
add induction rule for partial_function (tailrec)
wenzelm [Mon, 18 Mar 2013 20:02:37 +0100] rev 52595
prefer ownerless window, to avoid question of potentially changing parent view;
wenzelm [Mon, 18 Mar 2013 19:33:25 +0100] rev 52594
proper parent component for window.init;
kleing [Mon, 18 Mar 2013 19:20:53 +0100] rev 52593
lemma names and a corollary
kleing [Mon, 18 Mar 2013 14:47:20 +0100] rev 52592
managed to eliminate further snippets
kleing [Mon, 18 Mar 2013 14:27:38 +0100] rev 52591
fewer IMP snippets
wenzelm [Mon, 18 Mar 2013 13:18:42 +0100] rev 52590
merged