isabelle: Changelog

boehmes [Fri, 16 Jan 2015 23:24:29 +0100] rev 59382

merged

boehmes [Fri, 16 Jan 2015 23:23:31 +0100] rev 59381

more efficient Z3 proof reconstruction for rewrite steps with conjunctions and disjunctions, similar to Old_SMT

nipkow [Fri, 16 Jan 2015 20:06:39 +0100] rev 59380

added simp lemma

haftmann [Thu, 15 Jan 2015 13:39:41 +0100] rev 59379

tuned

haftmann [Thu, 15 Jan 2015 13:39:41 +0100] rev 59378

separate image for prerequisites of codegen tutorial

haftmann [Thu, 15 Jan 2015 13:39:41 +0100] rev 59377

modernized cartouches

haftmann [Thu, 15 Jan 2015 13:39:41 +0100] rev 59376

even more pervasive replacement of auxiliary destination

boehmes [Thu, 15 Jan 2015 21:45:23 +0100] rev 59375

merged

boehmes [Thu, 15 Jan 2015 21:44:51 +0100] rev 59374

more detailed runtime statistics for Z3 proof reconstruction

wenzelm [Thu, 15 Jan 2015 20:37:33 +0100] rev 59373

merged

isabelle