| Wed, 14 Feb 2024 15:33:45 +0000 | paulson | the syntax of Lebesgue integrals (LINT, LBINT, ∫, etc.) now requires parentheses | file | diff | annotate |
| Wed, 07 Feb 2024 11:52:34 +0000 | paulson | Further lemmas concerning complexity and measures | file | diff | annotate |
| Thu, 08 Jul 2021 08:42:36 +0200 | desharna | added opaque_combs and renamed hide_lams to opaque_lifting | file | diff | annotate |