diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-09-07 13:36:40 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-09-07 13:52:47 +0200 |
| commit | f5c43cab2e974245ca3bba8d7fc082dffdd5c282 (patch) | |
| tree | 41c156f53319fef7f6bf4e4af1020b904a5eb730 /proofs | |
| parent | 9df412c81bd3a1729cb9d570c01ef2d255f23fb3 (diff) | |
Little fix in documentation of inversion.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions