diff options
| author | Son Ho | 2023-12-05 17:50:38 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-05 17:50:38 +0100 |
| commit | eb05c2e3b63377c323c33c1296495baa9357596a (patch) | |
| tree | 95cde0e6b1edd06110fbde8a714aaa12811be2f1 /tests/hol4/misc-constants | |
| parent | 4795e5f823bc89504855d8eb946b111d9314f4d5 (diff) | |
Remove the type sv_kind ("symbolic value kind")
Diffstat (limited to 'tests/hol4/misc-constants')
0 files changed, 0 insertions, 0 deletions