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

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 - T

tap	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
tapForMana	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
tapForManaWithTide	Solutions.ChannelFireball
tapped	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
tapWithFreyalise	Solutions.RavnicaAllegiance5
Target	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
target	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
TargetCard	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
targetCard	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
targetInLocation	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
TargetPlayer	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
targetPlayer	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
throwError	Dovin.Prelude
token	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
trample	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
transitionTo	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
transitionToForced	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
tricked	Solutions.WarOfTheSpark2
trigger
1 (Function)	Dovin.Actions, Dovin.V2, Dovin
2 (Function)	Dovin.V1
triggered	Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin
triggerMentor	Dovin.Dump, Dovin.V1, Dovin.V2, Dovin
triggerStorm	Solutions.GuildsOfRavnica9