diff options
| author | Pierre-Marie Pédrot | 2017-08-24 17:14:38 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-24 17:15:48 +0200 |
| commit | c515a8acb4acbe7e73121f1060ffef31d96a1436 (patch) | |
| tree | a99277a77c26e3cafa33556fbbecd916d4ec0fe3 /src | |
| parent | 60a98c8092a0293b852712f8e21ead6e0ef1e064 (diff) | |
Adding a notation for the unfold tactic.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions