diff options
| author | Son HO | 2023-12-07 15:02:44 +0100 |
|---|---|---|
| committer | GitHub | 2023-12-07 15:02:44 +0100 |
| commit | d4ebd6c1f0ba150e5e52d812d361189c89e43695 (patch) | |
| tree | 4b3fa3d48c86ba379c78d01fca88d2084c2678c2 /tests/hol4/misc-paper/paperScript.sml | |
| parent | 9eb117dc9e94d1b04d24c87d278d014f456b2d89 (diff) | |
| parent | 613496f6c76b3f8c7211ef5bc98e3cc170e45ed1 (diff) | |
Merge pull request #49 from AeneasVerif/son_merge_back
Allow the extraction of structures as tuples
Diffstat (limited to 'tests/hol4/misc-paper/paperScript.sml')
0 files changed, 0 insertions, 0 deletions