diff options
| author |  Zeimer <zzaimer@gmail.com> | 2018-07-20 21:24:52 +0200 |
|---|---|---|
| committer | Zeimer <zzaimer@gmail.com> | 2018-07-21 19:36:45 +0200 |
| commit | a72d938e502bc9e20d14e703e0502e79c9c6a61c (patch) | |
| tree | b2b1bfa3dcca2f1575d835acf007e8ae2e6a50f8 /CREDITS | |
| parent | a703f44980f3b5ddfe8788a5615e09de810b0bd0 (diff) | |
Rewrote examples about permutations, logic and type isomorphisms: changed the formatting and renamed the tactics to match modern naming conventions.
Diffstat (limited to 'CREDITS')
0 files changed, 0 insertions, 0 deletions