diff options
| author | Josh Chen | 2020-07-16 18:59:34 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-16 18:59:34 +0200 |
| commit | d81a1db878414209a89dcfcc39b6be4b64f20cd4 (patch) | |
| tree | a89f8a4489a71daf7d0423e1373743dd0be00848 /spartan/core/eqsubst.ML | |
| parent | f82258111e48a94d22f12fd4920d443edb66fb55 (diff) | |
fix action path
Diffstat (limited to 'spartan/core/eqsubst.ML')
0 files changed, 0 insertions, 0 deletions