isabelle: Changelog

haftmann [Wed, 06 Oct 2010 13:48:12 +0200] rev 39929

tuned header

krauss [Tue, 05 Oct 2010 18:09:31 +0200] rev 39928

tuned

krauss [Tue, 05 Oct 2010 18:09:29 +0200] rev 39927

force less agressively

krauss [Tue, 05 Oct 2010 16:33:16 +0200] rev 39926

lexicographic_order: replace parallel map with laziness to avoid wasting cycles on proofs that are not needed

krauss [Tue, 05 Oct 2010 14:19:43 +0200] rev 39925

removed complicated (and rarely helpful) error reporting

krauss [Tue, 05 Oct 2010 14:19:40 +0200] rev 39924

discontinued continuations to simplify control flow; dropped optimization in scnp

krauss [Tue, 05 Oct 2010 14:19:38 +0200] rev 39923

use Cache structure instead of passing tables around explicitly

haftmann [Tue, 05 Oct 2010 11:45:16 +0200] rev 39922

merged

haftmann [Tue, 05 Oct 2010 11:37:42 +0200] rev 39921

lemmas fold_commute and fold_commute_apply

krauss [Fri, 07 May 2010 15:36:03 +0200] rev 39920

spelling

isabelle