diff options
| author | Son Ho | 2024-06-11 13:59:39 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-11 13:59:39 +0200 |
| commit | bf883726d771988c838bc6a6e1c012dfb008769c (patch) | |
| tree | 5d16356c24ef82b1055f64a959eddd75ea401817 /backends/hol4/primitivesTheory.sig | |
| parent | 73e27b142b65ec37fbbc55a5a7d0299555b2b60b (diff) | |
Update the tests for tuples
Diffstat (limited to 'backends/hol4/primitivesTheory.sig')
0 files changed, 0 insertions, 0 deletions