| Tue, 10 Feb 2015 12:27:30 +0100 | Andreas Lochbihler | tuned proof | changeset | files |
| Tue, 10 Feb 2015 12:17:22 +0100 | Andreas Lochbihler | add another lemma to split nn_integral over product count_space | changeset | files |
| Tue, 10 Feb 2015 12:10:26 +0100 | Andreas Lochbihler | tune proof | changeset | files |
| Tue, 10 Feb 2015 12:05:21 +0100 | Andreas Lochbihler | nn_integral can be split over arbitrary product count_spaces | changeset | files |
| Tue, 10 Feb 2015 12:04:24 +0100 | Andreas Lochbihler | add stronger version of lemma | changeset | files |
| Fri, 06 Feb 2015 17:57:03 +0100 | haftmann | default abstypes and default abstract equations make technical (no_code) annotation superfluous | changeset | files |
| Fri, 06 Feb 2015 19:17:17 +0100 | blanchet | careful about visibility of facts that have the same 'theory' in optimization | changeset | files |
| Fri, 06 Feb 2015 08:47:48 +0100 | haftmann | non-intrusive default code setup for mappings | changeset | files |