diff options
| author | Aymeric Fromherz | 2024-05-27 17:56:10 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-27 17:56:10 +0200 |
| commit | 3c1e6d37a2b40b880b04b2d2aac95d6f06822327 (patch) | |
| tree | 1ed18e16f5dbfcf598c0e101ee7c36f865d84255 /tests/hol4/betree/betreeMain_OpaqueScript.sml | |
| parent | 309435d24edb689736da83025eb08a6761b28b8b (diff) | |
Simplify reduce_ctx
Diffstat (limited to 'tests/hol4/betree/betreeMain_OpaqueScript.sml')
0 files changed, 0 insertions, 0 deletions