| Fri, 06 Sep 2019 11:32:38 +0200 | wenzelm | unused; | file | diff | annotate |
| Wed, 04 Sep 2019 22:00:38 +0200 | wenzelm | load theories in stages, to reduce ML heap requirements; | file | diff | annotate |
| Tue, 05 Mar 2019 13:31:33 +0100 | wenzelm | clarified signature; | file | diff | annotate |