2 commits

Author	SHA1	Message	Date
Leonardo de Moura	1ce80d5ba7	feat: hide auxiliary declarations	2020-09-15 16:50:16 -07:00
Leonardo de Moura	897289599a	fix: ignore auxiliary declarations at subst and assumption	2020-09-13 09:59:37 -07:00