diff options
| author | Son Ho | 2023-12-21 17:00:52 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-21 17:00:52 +0100 |
| commit | d4b3d0e6adae5bb9a2f62872dbcedc29aaa9fa30 (patch) | |
| tree | f26f591884621ba089c3f606d92c0daf8bcf35c9 /backends/hol4/primitivesBaseTacLib.sml | |
| parent | cf3eea59ee61f2341daf7248664b8be878f128af (diff) | |
Filter the useless backward functions
Diffstat (limited to 'backends/hol4/primitivesBaseTacLib.sml')
0 files changed, 0 insertions, 0 deletions