diff options
| author | Cyril Cohen | 2017-12-12 14:13:59 +0100 |
|---|---|---|
| committer | Yves Bertot | 2017-12-12 15:22:23 +0100 |
| commit | ea60a9902aae4b685c8b4732febd0f7f4962c4d4 (patch) | |
| tree | 3ab40e77b1fc72a4e429e4afd628b401f2bb0e44 /mathcomp/attic/tutorial.v | |
| parent | 0f6e8b6af1fe87a6d691d02104879397c6c232eb (diff) | |
shortening and refactoring
Diffstat (limited to 'mathcomp/attic/tutorial.v')
0 files changed, 0 insertions, 0 deletions