4 commits

Author	SHA1	Message	Date
Kim Morrison	2b23afdfab	chore: remove >6 month old deprecations (#10446)	2025-09-22 12:47:11 +00:00
Kim Morrison	6e06978961	chore: remove >6 month old deprecations (#9640)	2025-08-05 02:29:15 +00:00
JovanGerb	2c6eacee30	fix: #discr_tree_simp_key shouldn't look into lhs of ≠ (#6936) ... This PR fixes the `#discr_tree_simp_key` command, because it displays the keys for just `lhs` in `lhs ≠ rhs`, but it should be `lhs = rhs`, since that is what simp indexes.	2025-02-04 08:43:12 +00:00
Matthew Robert Ballard	f35c562ef8	feat: add #discr_tree_key command and discr_tree_key tactic (#4447) ... Adds a command and tactic to print the `Array <| DiscrTree.Key` for equalities helping the user to debug perceived `simp` failures. --------- Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>	2024-07-12 15:05:10 +00:00