Lines Matching refs:holds
90 (declare holds (! c clause type))
93 (! u1 (holds c1)
94 (! u2 (holds c2)
96 (holds (concat_cl (clr (pos n) c1)
100 (! u1 (holds c1)
101 (! u2 (holds c2)
103 (holds (concat_cl (clr (neg n) c1)
110 (! u1 (holds c1)
112 (! u2 (! x (holds c2) (holds c3))
113 (holds c3))))))))
118 (! u (holds c)
119 (! u2 (! v (holds c) (holds c2))
120 (holds c2))))))
151 (! proof_c (holds c)
164 ; (% u1 (holds (concat_cl (clr (neg v1) (clr (pos v1) (clc (pos v1) (clr (pos v1) (clc (pos v1) (…
171 ; (% u1 (holds (clr (neg v1) (concat_cl (clc (neg v1) cln)