| Fri, 14 Apr 2023 21:34:51 +0200 | wenzelm | more operations, following Isabelle/ML conventions; | file | diff | annotate |
| Mon, 23 Aug 2021 12:25:55 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 22 Sep 2016 11:25:27 +0200 | wenzelm | discontinued raw symbols; | file | diff | annotate |
| Wed, 21 Sep 2016 20:33:44 +0200 | wenzelm | more tight implementation of symbol explode operation (without support for raw symbols); | file | diff | annotate |