diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-07-08 14:57:46 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-07-08 14:57:46 -0400 |
| commit | ab70b1b36bb2dca5356392cefd2c5770f2d3ebb1 (patch) | |
| tree | ab03b0fa3da8ddcd93bcc3584a0ec51919b682d0 /_CoqProject | |
| parent | 9dbd0015fc2f895260720a08c0844e9c75cccbd0 (diff) | |
proved correctness of [add] operation in ModularBaseSystemInterface
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions