isabelle: Changelog

nipkow [Thu, 21 Mar 2013 10:05:03 +0100] rev 51468

proofs depend only on constraints, not on def of L WHILE

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)

isabelle