diff options
| author | Emilio Jesus Gallego Arias | 2020-05-25 01:42:16 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-26 18:28:09 +0200 |
| commit | 288110c85c364dadbaf7d8cac87b264b6b538bc4 (patch) | |
| tree | a23688fdd8b448b7c7b0a20a9686c4e95e77c641 /stm/asyncTaskQueue.ml | |
| parent | afa3d2f09c1a55d38a4c2e02ecac20846d2dc20a (diff) | |
[declare] Split univs_poly_private in close_proof
A step towards enforcing some more static invariants.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions