diff options
| author | Son Ho | 2023-11-10 17:03:32 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-10 17:03:32 +0100 |
| commit | f00da97a17e4d8445fc74303b907b57b1fbddb1e (patch) | |
| tree | 8f69f7d4e9961e570a2afb049bfe8baba7cc5516 /backends/hol4/primitivesScript.sml | |
| parent | 27eb90fc61a45f8a8c5f1279082b0210d285bbc1 (diff) | |
Update the ci.yml
Diffstat (limited to 'backends/hol4/primitivesScript.sml')
0 files changed, 0 insertions, 0 deletions