diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-06-29 10:30:17 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-06-29 12:46:54 +0200 |
| commit | 5c91ebc9b995355a5a1f9713be8b9fc74d3ba242 (patch) | |
| tree | afda8f8f4fc6febe9d986c79e92527e98554d071 /library/lib.ml | |
| parent | cbf100f49880284383d8c3cc8c1a35021d6a2a0c (diff) | |
Updated CHANGES about subst. More on recursive equations in reference manual.
Diffstat (limited to 'library/lib.ml')
0 files changed, 0 insertions, 0 deletions