diff options
| author | Son Ho | 2024-03-08 13:41:57 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-08 13:41:57 +0100 |
| commit | bc154dda94c44b3ae67a3b04d3866cc473aead32 (patch) | |
| tree | 8d5eb4febc93e2f274a1918ea5353b9746f324d0 /backends/hol4/primitivesBaseTacLib.sml | |
| parent | b604bb9935007a1f0e9c7f556f8196f0e14c85ce (diff) | |
Remove the option to split fwd/back functions and update SymbolicToPure
Diffstat (limited to 'backends/hol4/primitivesBaseTacLib.sml')
0 files changed, 0 insertions, 0 deletions