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
haftmann [Mon, 04 Oct 2010 14:46:49 +0200] rev 39919
adjusted to inductive characterization of sorted
haftmann [Mon, 04 Oct 2010 14:46:49 +0200] rev 39918
tuned whitespace
haftmann [Mon, 04 Oct 2010 14:46:48 +0200] rev 39917
turned distinct and sorted into inductive predicates: yields nice induction principles for free; more elegant proofs
haftmann [Mon, 04 Oct 2010 14:46:48 +0200] rev 39916
turned distinct and sorted into inductive predicates: yields nice induction principles for free
haftmann [Mon, 04 Oct 2010 12:22:58 +0200] rev 39915
turned distinct and sorted into inductive predicates: yields nice induction principles for free; more elegant proofs