diff options
| author | Brian Campbell | 2018-07-11 11:04:38 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-11 11:04:38 +0100 |
| commit | 7198c68593a4802380bd80a65a1cf199c9ba74c8 (patch) | |
| tree | 0f2bc1e024c0b6cf52547bbbac5584d0a11b24ef /power/power_extras_embed_sequential.lem | |
| parent | a480edc06d0a803c7ec133fe462005155d163bf7 (diff) | |
Update HOL4 snapshot with Thomas' fixes
Diffstat (limited to 'power/power_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions