| Wed, 19 Nov 2014 19:12:14 +0100 | traytel | more accurate lemma name | changeset | files |
| Wed, 19 Nov 2014 10:31:15 +0100 | blanchet | parse CVC4 unsat cores | changeset | files |
| Wed, 19 Nov 2014 10:31:15 +0100 | blanchet | tuning | changeset | files |
| Wed, 19 Nov 2014 10:31:15 +0100 | blanchet | removed redundant code line | changeset | files |
| 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 |