| Fri, 06 Dec 2024 13:33:25 +0100 | wenzelm | clarified printing of consts: rename apart from all bounds, and thus avoid old Term.declare_free_names with its adhoc policy ("as they are printed"); | file | diff | annotate |
| Thu, 31 Jan 2019 13:08:59 +0000 | haftmann | proper congruence rule for image operator | file | diff | annotate |
| Sun, 30 Dec 2018 10:34:56 +0000 | haftmann | prefer naming convention from datatype package for strong congruence rules | file | diff | annotate |