diff options
| author | Son Ho | 2023-11-09 14:22:06 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-09 14:22:06 +0100 |
| commit | 9157959cc421c481cf584ada69f51d58da82e8f9 (patch) | |
| tree | 77ae816309919eb9d97df6d5ca63c6649af324f3 /compiler/Identifiers.ml | |
| parent | eec2643daad40d3ceec51cd83eb01e7c9db1824d (diff) | |
Deactivate the HOL4 tests
Diffstat (limited to 'compiler/Identifiers.ml')
0 files changed, 0 insertions, 0 deletions