isabelle: Changelog

bulwahn [Wed, 04 Apr 2012 10:17:54 +0200] rev 47330

rudimentary handling of products in finitize_functions in Quickcheck-Narrowing

bulwahn [Wed, 04 Apr 2012 10:17:08 +0200] rev 47329

improved equality check for modes in predicate compiler

huffman [Wed, 04 Apr 2012 09:00:10 +0200] rev 47328

rename ML structure to avoid shadowing earlier name

huffman [Wed, 04 Apr 2012 07:47:42 +0200] rev 47327

add type annotations to make SML happy (cf. ec6187036495)

huffman [Tue, 03 Apr 2012 23:49:24 +0200] rev 47326

merged

huffman [Tue, 03 Apr 2012 22:31:00 +0200] rev 47325

new transfer proof method

huffman [Tue, 03 Apr 2012 22:04:50 +0200] rev 47324

renamed Tools/transfer.ML to Tools/legacy_transfer.ML

wenzelm [Tue, 03 Apr 2012 21:39:28 +0200] rev 47323

prefer prog-prove, suppress isar-overview;

wenzelm [Tue, 03 Apr 2012 21:09:09 +0200] rev 47322

merged

wenzelm [Tue, 03 Apr 2012 20:41:13 +0200] rev 47321

merged

isabelle