Lines Matching defs:b0
19 else if (node = "b0") then X
27 (And (s "b0")(Not(s "ctrl")))
42 else (s_b' "out0" = s_b "b0")
72 THEN Cases_on `s_b "b0"`
78 THEN Cases_on `s_b "b0"`
117 THEN FIRST_ASSUM(STRIP_ASSUME_TAC o SPEC ``"b0"``)
119 THEN Cases_on `s "b0"` THEN Cases_on `s' "b0"`
142 val b0 = (T, "b0", F, 0, 1);
150 val A = TF [ctrl, a0, a1, b0, b1];
167 val b0 = (T, "b0", ``vb0:bool``, 0, 1);
172 val A = TF [ctrl,a0,a1,b0,b1];
190 val b0 = (T, "b0", ``vb0:bool``, 0, 1);
196 val A = TF [ctrl,a0,a1,b0,b1] ;
198 val A = TF [ctrl,a0,a1,b0,b1];