* Swap 'or' and 'and' in ligature column typo

* Add missing tautology tactic reference

* Fix other small typos in manual

* Fix alignment in kernel chapter

* Typos in prooflib and set theory

* Regenerate lisa manual