| Wed, 08 Jun 2016 09:05:32 +0200 | Andreas Lochbihler | merged | changeset | files |
| Tue, 07 Jun 2016 17:16:24 +0200 | Andreas Lochbihler | import wasysym needed by Rewrite.thy | changeset | files |
| Tue, 07 Jun 2016 15:12:27 +0200 | Andreas Lochbihler | add theory of discrete subprobability distributions | changeset | files |
| Mon, 06 Jun 2016 22:22:05 +0200 | haftmann | clear distinction between different situations concerning strictness of code equations | changeset | files |
| Mon, 06 Jun 2016 21:28:46 +0200 | haftmann | tuned signature | changeset | files |
| Mon, 06 Jun 2016 21:28:46 +0200 | haftmann | more correct exception handling | changeset | files |
| Mon, 06 Jun 2016 21:28:46 +0200 | haftmann | explicit tagging of code equations de-baroquifies interface | changeset | files |
| Mon, 06 Jun 2016 21:28:45 +0200 | haftmann | dropped unused code | changeset | files |