diff options
| author | Son Ho | 2024-04-04 11:56:09 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 11:56:09 +0200 |
| commit | 795e2107e305d425efdf6071b29f186cae83656b (patch) | |
| tree | 8f1cf29f3a25d6e36b323045a1108aef5b50a917 /tests/hol4/Holmakefile.template | |
| parent | 88cb18c614819f4abba1e0dfdb80c455d334d595 (diff) | |
Update the names of the synthesized backward functions
Diffstat (limited to 'tests/hol4/Holmakefile.template')
0 files changed, 0 insertions, 0 deletions