diff options
| author | Son Ho | 2024-04-04 13:21:08 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 13:21:08 +0200 |
| commit | bac38f94aacf4a0d621b0b2d2c423db9e0c6f175 (patch) | |
| tree | 1a9de8e4593f44001cbd9bd9c370c9317733feca /tests/hol4/misc-external/Holmakefile | |
| parent | 975ddb208f18cb4ba46293dd788c46eb1ce43938 (diff) | |
Improve the name of the backward functions further
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions