wenzelm [Mon, 10 May 2010 15:01:25 +0200] rev 36782
ignore spurious TIMEOUT messages, maybe caused by change of actor semantics in scala-2.8;
wenzelm [Mon, 10 May 2010 15:00:11 +0200] rev 36781
adapted to scala-2.8.0.RC2;
wenzelm [Mon, 10 May 2010 09:54:41 +0200] rev 36780
merged
huffman [Sun, 09 May 2010 23:57:56 -0700] rev 36779
real_mult_commute -> mult_commute
huffman [Sun, 09 May 2010 22:51:11 -0700] rev 36778
avoid using real-specific versions of generic lemmas
huffman [Sun, 09 May 2010 17:47:43 -0700] rev 36777
avoid using real-specific versions of generic lemmas
huffman [Sun, 09 May 2010 14:21:44 -0700] rev 36776
remove a couple of redundant lemmas; simplify some proofs
huffman [Sun, 09 May 2010 09:39:01 -0700] rev 36775
merged
huffman [Sat, 08 May 2010 17:06:58 -0700] rev 36774
add lemmas one_less_inverse and one_le_inverse
krauss [Sun, 09 May 2010 15:28:44 +0200] rev 36773
do not redeclare [simp] rules, to avoid "duplicate rewrite rule" warnings