isabelle: Changelog

huffman [Thu, 19 Apr 2012 11:52:07 +0200] rev 47580

use simpler method for preserving bound variable names in transfer tactic

huffman [Thu, 19 Apr 2012 10:49:47 +0200] rev 47579

tuned lemmas (v)image_id; removed duplicate of vimage_id

blanchet [Thu, 19 Apr 2012 11:10:03 +0200] rev 47578

use latest SPASS

blanchet [Thu, 19 Apr 2012 11:00:12 +0200] rev 47577

doc update

haftmann [Thu, 19 Apr 2012 10:16:51 +0200] rev 47576

dropped dead code; tuned

huffman [Thu, 19 Apr 2012 08:45:13 +0200] rev 47575

generate abs_induct rules for quotient types

haftmann [Thu, 19 Apr 2012 09:58:54 +0200] rev 47574

tuned

haftmann [Thu, 19 Apr 2012 09:45:49 +0200] rev 47573

corrected Nbe.static_value: ignore cached compilations; tuned

haftmann [Thu, 19 Apr 2012 09:31:36 +0200] rev 47572

tuned heading

haftmann [Wed, 18 Apr 2012 21:47:26 +0200] rev 47571

tuned name

isabelle