Lines Matching refs:a1
18 else if (node = "a1") then X
32 (And (s "a1")(s "ctrl"))
45 (s_b' "out1" = s_b "a1")
86 THENL [fl [] THEN Cases_on `s_b "a1"`
92 fl [] THEN Cases_on `s_b "a1"`
124 FIRST_ASSUM(STRIP_ASSUME_TAC o SPEC ``"a1"``)
127 THEN Cases_on `s "a1"` THEN Cases_on `s' "a1"`
141 val a1 = (T, "a1", T, 0, 1);
150 val A = TF [ctrl, a0, a1, b0, b1];
166 val a1 = (T, "a1", ``va1:bool``, 0, 1);
172 val A = TF [ctrl,a0,a1,b0,b1];
189 val a1 = (T, "a1", ``va1:bool``, 0, 1);
196 val A = TF [ctrl,a0,a1,b0,b1] ;
198 val A = TF [ctrl,a0,a1,b0,b1];