diff options
| author | Yves Bertot | 2018-05-09 11:10:51 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-09 11:21:45 +0200 |
| commit | 6f0cfb0e6176fa16eb7ee9a374fedab62d56d486 (patch) | |
| tree | 4fdfd4b1d8fa5a4e5e9760ff93e7765c0c0c50c0 /doc | |
| parent | 499d48cba16ce5f42eff82e99cf8e0e08c796f8b (diff) | |
decompose construction of typed term containing evars
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions