felix.git/test/phase5/exact-datatype.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-05T20:18:50+00:00 Make finite-set literals intrinsic 2026-08-05T20:18:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T20:18:50+00:00 urn:sha1:84041116c7e9d8a3f5e6336c6d36dc39a8759ed6 Lower fixed exact set terms uniformly 2026-08-02T09:49:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T09:31:30+00:00 urn:sha1:36ecc3fa6e3b5d993a45e01d13fe2f643d64206a Prepare exact datatype declarations 2026-08-02T08:12:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T08:12:59+00:00 urn:sha1:e5961f2f7f9b06aed9deec4f1c534f07e8dd4184