diff options
| author | Enrico Tassi | 2021-02-09 16:20:08 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-03-04 16:55:14 +0100 |
| commit | 8ae0762db0616e1ff177335c9fc73c816634fc89 (patch) | |
| tree | 3a6c2b0aead19858a41fecabf084544567dcfaba /vernac/comProgramFixpoint.mli | |
| parent | a5bea627d1fe742229497b466ca24b470c20d269 (diff) | |
[notation] option to fine tune printing of literals
Diffstat (limited to 'vernac/comProgramFixpoint.mli')
0 files changed, 0 insertions, 0 deletions