isabelle: Changelog

wenzelm [Fri, 03 Jun 2011 21:32:48 +0200] rev 42924

removed some old stuff;

wenzelm [Thu, 02 Jun 2011 14:11:24 +0200] rev 42923

tuned headings;

wenzelm [Thu, 02 Jun 2011 14:08:46 +0200] rev 42922

some material on "Generalized elimination and cases";

wenzelm [Thu, 02 Jun 2011 13:59:23 +0200] rev 42921

some material on "Structured induction proofs";

wenzelm [Wed, 01 Jun 2011 13:06:45 +0200] rev 42920

some material on "Structured Natural Deduction"; tuned;

wenzelm [Wed, 01 Jun 2011 12:39:04 +0200] rev 42919

some material on "Calculational reasoning";

wenzelm [Wed, 01 Jun 2011 12:20:48 +0200] rev 42918

tuned;

wenzelm [Tue, 31 May 2011 22:47:18 +0200] rev 42917

added Synopsis, with some "Notepad" material;

wenzelm [Tue, 31 May 2011 22:18:37 +0200] rev 42916

more accurate deps;

wenzelm [Tue, 31 May 2011 22:15:39 +0200] rev 42915

turned "Overview" into "Preface" (similar to doc-src/Intro/intro.tex);

isabelle