diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-08 22:02:12 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-09 08:13:18 +0200 |
commit | 25b0a871bde109788492992f1cb417e7e163ffa3 (patch) | |
tree | ac05ee99faa7368f4eaf98e275a594bddfc6dfb0 /proofs/proof.ml | |
parent | 82eb6cbfa3db53756ea40fb4795836d6f8c55bbe (diff) |
Fixing beautification to file.
Diffstat (limited to 'proofs/proof.ml')
0 files changed, 0 insertions, 0 deletions