diff options
| author | Emilio Jesus Gallego Arias | 2020-05-25 01:30:48 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-26 18:28:09 +0200 |
| commit | afa3d2f09c1a55d38a4c2e02ecac20846d2dc20a (patch) | |
| tree | fc509b8a5058d7d9558e89db4da48d911354e3c0 /stm/asyncTaskQueue.ml | |
| parent | 7661029ab7611bd96128b5ab5f788c18c203a7ff (diff) | |
[declare] Factor common universe computation in close proof.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions