| Tue, 18 Nov 2014 20:56:34 +0100 | wenzelm | clarified Table.make_set: duplicate arguments are allowed, like Table.make_list or Scala Set() formation; | changeset | files |
| Mon, 17 Nov 2014 18:19:06 +0100 | hoelzl | add reindex rules for distr and nn_integral on count_space | changeset | files |
| Mon, 17 Nov 2014 14:55:34 +0100 | haftmann | generalized lemmas and tuned proofs | changeset | files |
| Mon, 17 Nov 2014 14:55:33 +0100 | haftmann | generalized lemmas (particularly concerning dvd) as far as appropriate | changeset | files |
| Mon, 17 Nov 2014 14:55:32 +0100 | haftmann | formally self-contained gcd type classes | changeset | files |
| Fri, 14 Nov 2014 22:13:45 +0100 | wenzelm | merged | changeset | files |
| Fri, 14 Nov 2014 21:36:50 +0100 | wenzelm | no quick_and_dirty for proof extraction, to avoid obscure errors like "corr: bad proof"; | changeset | files |