diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-05-07 16:19:24 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-05-08 20:44:29 +0200 |
| commit | e1e750683d52e7d2b63a707b62c4d2af0e01a532 (patch) | |
| tree | 4784d8750155dee00501bfa80765b2a7f8ffc8c0 /doc | |
| parent | 6522aa62d832837314dcef54735e6a4e55431571 (diff) | |
Isolating a function "make_abstraction", new name of "letin_abstract",
which compute an abstraction of the goal over a term or a pattern.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions