| Fri, 03 Sep 2021 19:56:03 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 03 Sep 2021 19:55:57 +0200 | wenzelm | proper inst table; | changeset | files |
| Fri, 03 Sep 2021 18:57:33 +0200 | wenzelm | more scalable data structure (but: rarely used many arguments); | changeset | files |
| Fri, 03 Sep 2021 14:34:14 +0200 | wenzelm | minor performance tuning: fewer allocations; | changeset | files |
| Tue, 31 Aug 2021 13:54:31 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 30 Aug 2021 21:45:05 +0200 | wenzelm | more Isabelle/Haskell operations; | changeset | files |