dcernst/IBL-IntroToProof — Issue #3: Numbering screwed up between Sections 1.2 and 1.3
Author: dcernst
Created: 2012-02-19 00:00:30+00:00
State: open

Currently, Section 1.2 is numbered 1.16-1.37, but Section 1.3 starts at 1.39. This needs to be fixed.