diff options
| author | Thomas Bauereiss | 2018-02-26 13:22:11 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-02-26 13:31:34 +0000 |
| commit | ee123e2876c4fa5ae000256caeb7eb810e8c05f8 (patch) | |
| tree | b00951146619539131ef511db727e19d685b8286 /src/pattern_completeness.ml | |
| parent | 30ba876d4c465d9a6cf2eba4eb1ac4c3dbc7ed22 (diff) | |
Rename some Isabelle theories
The suffix _lemmas is more descriptive than _extras.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions