diff options
| author | Vincent Laporte | 2019-10-23 12:31:58 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-11-25 08:40:38 +0000 |
| commit | 9210c5da6b1057194fd73acd5b26ece57dcfa477 (patch) | |
| tree | 0eb550192245a96411bae899d269bf736bb4f7d4 /doc/plugin_tutorial/tuto1/src/simple_check.ml | |
| parent | 47d7a113fba71096a61bc30836d13527663e6f32 (diff) | |
PermutSetoid: use “lia” rather than “omega”
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.ml')
0 files changed, 0 insertions, 0 deletions