felix.git/test/phase5/exact-quantified-term-valued.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-05T16:31:01+00:00 Restore quantified terms in proposition contexts 2026-08-05T16:31:01+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T16:25:29+00:00 urn:sha1:49281b1ff0f316cf9b6d8bcbec7afe4b47c4be48