diff options
| author | Son Ho | 2023-12-12 14:57:48 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-12 14:57:48 +0100 |
| commit | c23f317f55801a4b7e3f808326b0fbd82f454d76 (patch) | |
| tree | cfc53ad9a1b47bf7c1c6fdc124cecac724e693c0 /tests/hol4/misc-paper/paperTheory.sig | |
| parent | 24c5289d0ca039c1c64081285d7d120a04f40699 (diff) | |
Implement a map-reduce visitor for expressions and fix issues with get{M,F}VarIds
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions