diff options
| author | Pierre Roux | 2020-04-11 15:14:15 +0200 |
|---|---|---|
| committer | Pierre Roux | 2020-05-22 12:15:22 +0200 |
| commit | fff80866a5a61d8d53e34a1afdbe6475dc6ea5d9 (patch) | |
| tree | 58d92efc6a84ee202661cbd9d15bd79ed73ac586 /checker/mod_checking.mli | |
| parent | ea9463bc10e83759586a41d562e996e1d34e627f (diff) | |
[coqchk] Change list to set
Diffstat (limited to 'checker/mod_checking.mli')
0 files changed, 0 insertions, 0 deletions