diff options
| author | Pierre-Marie Pédrot | 2019-05-03 00:34:21 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-05-11 12:43:22 +0200 |
| commit | 15d4547b977e96ed2bc26cea683f5f4f3c9ee137 (patch) | |
| tree | e3da5125fd9ec58826df4b6164582f81d980b840 /kernel | |
| parent | 1fb2819d57d16196fd8dc7cb49e72b9e1d22758e (diff) | |
Abstract the Tactic.e_change_hyps function over the reduction function.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions