isabelle: Changelog

haftmann [Sat, 15 Jun 2013 17:19:23 +0200] rev 52377

more consistent parsing and reading of classes and type constructors

kleing [Fri, 14 Jun 2013 22:16:48 -0700] rev 52376

another example lemma

blanchet [Thu, 13 Jun 2013 17:26:39 -0400] rev 52375

store more theorems in data structure

blanchet [Thu, 13 Jun 2013 16:58:20 -0400] rev 52374

tuning

nipkow [Thu, 13 Jun 2013 14:35:05 +0200] rev 52373

simplified proofs

kleing [Wed, 12 Jun 2013 20:52:09 -0700] rev 52372

prefer xsymbol for book

nipkow [Wed, 12 Jun 2013 13:53:24 +0200] rev 52371

same order of properties as in While rule

kleing [Tue, 11 Jun 2013 21:24:12 -0700] rev 52370

some comments on syntax and automation setup

smolkas [Tue, 11 Jun 2013 19:58:09 -0400] rev 52369

uncheck terms before annotation to avoid awkward syntax

blanchet [Tue, 11 Jun 2013 19:11:31 -0400] rev 52368

tuning

isabelle