User_Rsimmons_Homework_7__Proofs_In_Twelf.elf