| Fri, 02 Aug 2019 11:23:09 +0200 | wenzelm | clarified modules: inference kernel maintains sort algebra within the logic; | changeset | files |
| Thu, 01 Aug 2019 14:46:50 +0200 | wenzelm | more elementary treatment of standard_vars (unconstrainT is already standard); | changeset | files |
| Thu, 01 Aug 2019 10:14:58 +0200 | wenzelm | clarified module structure; | changeset | files |