summaryrefslogtreecommitdiff
path: root/backends/hol4/primitivesTheory.sig
diff options
context:
space:
mode:
authorSon Ho2024-06-17 07:25:17 +0200
committerSon Ho2024-06-17 07:25:17 +0200
commitcf7cd476b32cd562ca90950e4b3c29c9fc42028a (patch)
tree2824d173b0a88e1dc4d9f4ca8eea9ba34fca16cb /backends/hol4/primitivesTheory.sig
parent48b425b3b190f1d40f60ccb4cb1fdf5521753fb9 (diff)
Regenerate the tests
Diffstat (limited to 'backends/hol4/primitivesTheory.sig')
0 files changed, 0 insertions, 0 deletions