| Fri, 05 May 2023 12:01:09 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 20 Apr 2023 12:44:19 +0200 | wenzelm | prefer theory_long_name in data; | file | diff | annotate |
| Mon, 09 Dec 2019 11:17:34 +0100 | wenzelm | clarified signature: store full theory name; | file | diff | annotate |
| Tue, 06 Aug 2019 19:47:46 +0200 | wenzelm | backed out changeset 1b8858f4c393: odd problems e.g. in CAVA_LTL_Modelchecker; | file | diff | annotate |
| Mon, 05 Aug 2019 16:11:43 +0200 | wenzelm | clarified modules: more direct data implementation; | file | diff | annotate |
| Fri, 02 Aug 2019 11:23:09 +0200 | wenzelm | clarified modules: inference kernel maintains sort algebra within the logic; | file | diff | annotate |