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 /stm/proofBlockDelimiter.mli | |
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 'stm/proofBlockDelimiter.mli')
0 files changed, 0 insertions, 0 deletions