Fixed False_hp, added Negation_hp and Bool_to_hProp
Removed Bool_to_hProp due to error
added is_true : Bool -> hProp
trailing newlines removed, Negation_hp simplified
Merge pull request #528 from marcbezem/master

Fixed False_hp, added Negation_hp