diff options
| author | Emilio Jesus Gallego Arias | 2020-03-09 01:51:37 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-25 06:03:42 -0400 |
| commit | 09d6197bd11ed4a323b335118ae749d7caefeb55 (patch) | |
| tree | 361c538ea06c34e8e1dc99309fa62816bb759e01 /doc/plugin_tutorial/tuto0 | |
| parent | a0296d51711cdd42f201b9d0e937266984a20944 (diff) | |
[proof] [mutual] Factorize notation declaration.
Diffstat (limited to 'doc/plugin_tutorial/tuto0')
0 files changed, 0 insertions, 0 deletions