isabelle: Changelog

kuncar [Thu, 19 Apr 2012 12:28:10 +0200] rev 47583

create thm names correctly

wenzelm [Thu, 19 Apr 2012 13:19:57 +0200] rev 47582

updated components according to tentative bundle;

wenzelm [Thu, 19 Apr 2012 13:15:06 +0200] rev 47581

back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);

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

isabelle