dovin-3.0: A proof assistant for Magic: The Gathering puzzles. (Index - V)

dovin-3.0: 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 - V

validate
1 (Function)	Dovin.Actions, Dovin.V2, Dovin.V3, Dovin
2 (Function)	Dovin.V1
validateCanCastSorcery	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
validateLife
1 (Function)	Dovin.Actions, Dovin.V2, Dovin.V3, Dovin
2 (Function)	Dovin.V1
validatePhase	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
validateRemoved	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
view	Dovin.Prelude, Dovin.V2, Dovin.V3, Dovin
viewSelf	Dovin.Effects, Dovin.V3, Dovin
vigilance	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin