3 Commits

Author	SHA1	Message	Date
Tavo Annus	be6f8e2648	Add make_tuple tactic	2024-02-26 20:17:09 +02:00
Tavo Annus	8bd30e9b3f	Improve generics handling in term search	2024-02-26 20:17:09 +02:00
Tavo Annus	125791386d	Cleanup term search related changes	2024-02-11 14:35:54 +02:00