Keeping convention of TracePatterns get capital letters
Added missing Require Export strong_induction
Removing unneeded methods
More capitalization convention
Changed name of label compare relation
Changed name of special label compare relation and updated comment
Missed this when removing unneeded code
Added Software Foundations cite. And cites in paper so full reference list gets generated
Added courier package to use inline teletype. Working on core.v descriptions/challenges