diff options
| author | Jasper Hugunin | 2021-01-08 12:37:04 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2021-01-08 12:37:04 -0800 |
| commit | afed8dcf54d7a9e8e8ac04e4ec2de1784270e2e4 (patch) | |
| tree | f9172cbf5b5eef5890061bb0d2cf5616be9d1c42 /theories/Program/Subset.v | |
| parent | 7b946aa196490be8790cd5b46d0860b3bf6e33e1 (diff) | |
Modify Logic/ProofIrrelevanceFacts.v to compile with -mangle-names
Diffstat (limited to 'theories/Program/Subset.v')
0 files changed, 0 insertions, 0 deletions