search

the-little-prover / j-bob

BSD 2-Clause "Simplified" License
420 stars 63 forks source link

Moving Chapter 9 headers up, adding Chapter 10 headers. #7

Open ghost opened 8 years ago

ghost commented 8 years ago

The current Chapter 9 headers are actually labeling the Chapter 10 proofs, and the Chapter 10 headers are absent. This commit moves the former up and adds the latter.