dovin-0.2: A proof assistant for Magic: The Gathering puzzles. (Index - _)

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

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
_
All

Index - _

_cardAttributes	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cardDamage	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cardDefaultAttributes	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cardEffects	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cardLoyalty	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cardMinusOneCounters	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cardName	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cardPlusOneCounters	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cards	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cardStrength	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_cardStrengthModifier	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_counters	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_currentStep	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_deck	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_effectAction	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_effectEnabled	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_effectFilter	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_envActor	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_envSBAEnabled	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_envTemplate	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_life	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_location	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_manaPool	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_manaPoolForTyping	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_phase	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_stack	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_stepId	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_stepLabel	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
_stepState	Dovin.Types, Dovin.V1, Dovin.V2, Dovin