Lines Matching refs:Def
1214 GSYM_NO_TAC 3 (*Def R*) THEN
1233 GSYM_NO_TAC 0 (*Def R*) THEN
1248 GSYM_NO_TAC 0 (*Def P*) THEN
1259 GSYM_NO_TAC 2 (*Def R*) THEN
1290 GSYM_NO_TAC 4 (*Def R*) THEN
1306 GSYM_NO_TAC 0 (*Def r*) THEN
1307 GSYM_NO_TAC 4 (*Def R*) THEN
1310 GSYM_NO_TAC 2 (*Def v*) THEN
1354 WEAKEN_NO_TAC 1 (*Def R*) THEN
1477 GSYM_NO_TAC 7 (*Def P*) THEN
3222 GSYM_NO_TAC 1 (*Def w'*) THEN
3250 GSYM_NO_TAC 0 (*Def w'*) THEN
3252 GSYM_NO_TAC 0 (*Def w'*) THEN
3718 GSYM_NO_TAC 1 (*Def w*) THEN