diff options
| author | Son Ho | 2024-06-04 13:33:32 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-04 13:33:32 +0200 |
| commit | 2a7a18d6a07ea4967ba9ec0763e6b7d04849dc7e (patch) | |
| tree | 0ea287f3fbda13eebdfcdd597709dc58c0804b53 /tests/hol4/betree/betree_FunsScript.sml | |
| parent | aa847c5ea1cfc1695b95d91cd10e3dc5bace4c33 (diff) | |
Improve collapse_ctx
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions