úÎZA     Safe%&9;QR     SafeSafe        $htaut-0.1.0.0-8EFlx8kUSxJAklYsvlpFumHtaut.Proposition Htaut.ProvingHtaut<->OrAndNegBottomTopProp bottomImply $fPropEither $fPropAnd $fProp(->) $fPropBottom $fPropTopProveEvidenceexfalso $fMonadProve$fApplicativeProve$fFunctorProve