diff options
| author | Christopher Pulte | 2019-02-13 11:37:11 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2019-02-13 11:37:11 +0000 |
| commit | 3d6eac88f86cb3a7e9a190288cc047dee77da0aa (patch) | |
| tree | 076ec1b4c1efee055b2cfa526ddcdf5df31574b1 /src/pretty_print_coq.ml | |
| parent | 24fc989891ad266eae642815646294279e2485ca (diff) | |
small progress
Diffstat (limited to 'src/pretty_print_coq.ml')
0 files changed, 0 insertions, 0 deletions