diff options
| author |  Nickolai Zeldovich <nickolai@csail.mit.edu> | 2015-04-05 12:26:57 -0400 |
|---|---|---|
| committer |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-04-09 12:09:03 +0200 |
| commit | 1688d4af1896effb42fa5dd191948795c59288a4 (patch) | |
| tree | da13a8bd88b01c35a45be17fd1590dd9ea412329 /proofs/refiner.ml | |
| parent | fb8c4b8903e82b36ebcf28dfe18282fb05a93d4f (diff) | |
JSON extraction: make explicit each group of mutually-recursive fixpoints
Diffstat (limited to 'proofs/refiner.ml')
0 files changed, 0 insertions, 0 deletions