isabelle: Changelog

blanchet [Tue, 13 Sep 2011 11:24:58 +0200] rev 44915

simplified unsound proof detection by removing impossible case

bulwahn [Tue, 13 Sep 2011 09:56:38 +0200] rev 44914

correcting NEWS

bulwahn [Tue, 13 Sep 2011 09:28:03 +0200] rev 44913

correcting theory name and dependencies

bulwahn [Tue, 13 Sep 2011 09:25:19 +0200] rev 44912

renamed AList_Impl to AList

nipkow [Tue, 13 Sep 2011 07:13:49 +0200] rev 44911

fastsimp -> fastforce in doc

huffman [Mon, 12 Sep 2011 14:49:34 -0700] rev 44910

fix typo

huffman [Mon, 12 Sep 2011 14:39:10 -0700] rev 44909

shorten proof of frontier_straddle

huffman [Mon, 12 Sep 2011 13:19:10 -0700] rev 44908

NEWS and CONTRIBUTORS

huffman [Mon, 12 Sep 2011 11:54:20 -0700] rev 44907

remove redundant lemma Lim_sequentially in favor of lemma LIMSEQ_def

huffman [Mon, 12 Sep 2011 11:39:29 -0700] rev 44906

simplify proofs using LIMSEQ lemmas

isabelle