diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-08-29 05:25:41 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-08-29 05:38:05 +0200 |
commit | f1ecbf5014dac5a1bfbd4a5bb352fe303280e44b (patch) | |
tree | 5b9a6db0f8540b783ec5def99055400d52e55423 /ide/wg_Command.mli | |
parent | c11f4428dbed786fafb90bb1ea8c017867d3e91e (diff) |
Adding a proof of surjective pairing on vectors.
Diffstat (limited to 'ide/wg_Command.mli')
0 files changed, 0 insertions, 0 deletions