dovin-3.0.1: A proof assistant for Magic: The Gathering puzzles.

Index - _

_cardAbilityEffectsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardAttributesDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardCmcDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardColorsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardDamageDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardDefaultAttributesDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardEffectsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardLoyaltyDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardMinusOneCountersDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardNameDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardOwnerDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardPassiveEffectsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardPlusOneCountersDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardStrengthDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardStrengthModifierDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardTargetsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_cardTimestampDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_countersDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_currentStepDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_currentTimeDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_deckDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_effectActionDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_effectEnabledDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_effectFilterDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_envActorDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_envOwnerDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_envSBAEnabledDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_envTemplateDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_leAppliesToDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_leEffectDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_leNameDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_lifeDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_locationDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_manaPoolDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_manaPoolForTypingDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_phaseDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_resolvedCardsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_stackDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_stepIdDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_stepLabelDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
_stepStateDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin