felix.git/source/Tptp/UnsortedFirstOrder.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T13:28:19+00:00 Cleanup 2026-08-04T13:28:19+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T13:28:19+00:00 urn:sha1:959d4172cc1a8d264d0a870a8a93482b283bb264 Remove Phase 0 migration residue 2026-08-03T22:40:52+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T22:40:52+00:00 urn:sha1:3fa692a0c49b085a3ba43cc576dbabeb7a866882 Allocate task-local TPTP names 2026-07-27T17:50:15+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T15:59:05+00:00 urn:sha1:1a6f4ba1adc8e5f44d0b4973b6bcdb9b4e08de0f Distinct target variable names exposed a replacement-condition scope lift that source-derived names had masked. Keep those variables under the replacement existential. Remove source annotations from TPTP tasks 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T02:42:09+00:00 urn:sha1:904ca07b7a89e3a91420876ef08e7113aae906e4 Prepare mixfix refactor 2026-02-05T16:00:19+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T16:00:19+00:00 urn:sha1:b5e47cd41837d65973b3c29603b7a335436c398a Skip TPTP AST 2026-02-05T15:18:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T15:18:54+00:00 urn:sha1:762ff75e9e79ac2d74b392f93c2eceea52f43481 Add location info to conjecture 2025-12-14T02:37:11+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T02:37:11+00:00 urn:sha1:3fe36e6f3266a7cfac51b56ead96c1e129a97ea9 Still some `<nowhere>` value as placeholder left over. Update for newer text-builder 2025-11-28T00:29:18+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-11-28T00:29:18+00:00 urn:sha1:1ba5ddf3dd858d752d8bead74d57f6bd5694bfdc Relax label syntax 2025-07-16T19:48:35+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-16T19:48:35+00:00 urn:sha1:ddff54964ec78dd3e2a688f4525b39e41b82b5f0 Initial commit 2024-02-10T01:22:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-02-10T01:22:14+00:00 urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968