diff options
| author | Son Ho | 2023-12-21 23:02:51 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-21 23:02:51 +0100 |
| commit | 6dc2b0f0906adc5d6f8f2f48404cf21d3595c957 (patch) | |
| tree | 0257a6d60a608828dac9700ed50891e3b154154f /tests/hol4/misc-external/external_FunsTheory.sig | |
| parent | eae740d644f5ccd1ad2a7e853a9cdf303c8df61e (diff) | |
Improve the pure micro passes
Diffstat (limited to 'tests/hol4/misc-external/external_FunsTheory.sig')
0 files changed, 0 insertions, 0 deletions