diff options
| author |  Zeimer <zzaimer@gmail.com> | 2018-07-21 15:44:35 +0200 |
|---|---|---|
| committer | Zeimer <zzaimer@gmail.com> | 2018-07-21 19:36:45 +0200 |
| commit | 90dc381743087d83b2a9edc7f6666e9b1b7baa13 (patch) | |
| tree | 49921e061f7ea2c118dc15b767742842530d7863 /library | |
| parent | a72d938e502bc9e20d14e703e0502e79c9c6a61c (diff) | |
Solved problems with snippets giving errors in chapter 'Detailed examples of tactics' of the Reference Manual. Refreshed the section on the cardinality of the naturals. Removed the mention of specialize_eqs as it seems very bugged.
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions