diff options
| author | Brian Campbell | 2019-10-28 13:52:04 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-10-28 13:52:20 +0000 |
| commit | b5bdd10e7ce3eed817d9e0f983cffb41ddd5e46f (patch) | |
| tree | 550fa89fd1063ea6f3c6d0c87d6c412070e53b05 /src/interactive.ml | |
| parent | 7f9371921cfcec819d9e0c778f8b817fb1566bce (diff) | |
Coq: label fixpoint bodies, tweak spacing
Diffstat (limited to 'src/interactive.ml')
0 files changed, 0 insertions, 0 deletions