diff options
author | Son Ho | 2023-11-21 11:40:59 +0100 |
---|---|---|
committer | Son Ho | 2023-11-21 11:40:59 +0100 |
commit | 5e92ae6b361f9221f5c5f9a39ab4c28a36597a77 (patch) | |
tree | c10596aff88b97b1ba496d08236f20084f8da08b /backends/hol4/primitivesTheory.sig | |
parent | 00882b8fe6d8ef1d9b7a03cd5949f909d58a2da9 (diff) |
Regenerate most of the test files
Diffstat (limited to 'backends/hol4/primitivesTheory.sig')
0 files changed, 0 insertions, 0 deletions