isabelle: Changelog

blanchet [Wed, 20 Mar 2013 15:35:35 +0100] rev 51467

use the right role for SPASS hypotheses

kleing [Wed, 20 Mar 2013 14:56:30 +0100] rev 51466

soundness statement as in type system

kleing [Wed, 20 Mar 2013 11:32:16 +0100] rev 51465

add label for referencing in semantics book

nipkow [Wed, 20 Mar 2013 11:16:31 +0100] rev 51464

tuned

nipkow [Tue, 19 Mar 2013 21:35:15 +0100] rev 51463

get rid of xcolor warnings

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;

isabelle