Alexey Gaziev f126cb8d68 Merge pull request #9 from gazay/chapter22 | %!s(int64=9) %!d(string=hai) anos | |
---|---|---|
.. | ||
2 | %!s(int64=9) %!d(string=hai) anos | |
3 | %!s(int64=9) %!d(string=hai) anos | |
1-introduction.ltx | %!s(int64=9) %!d(string=hai) anos | |
2-boolean-algebra.ltx | %!s(int64=9) %!d(string=hai) anos | |
3-sets-functions.ltx | %!s(int64=9) %!d(string=hai) anos | |
4-proofs.ltx | %!s(int64=9) %!d(string=hai) anos |