Lines Matching defs:aux1
166 (defthmd submod-aux1
188 ("Subgoal 2.2" :use ((:instance submod-aux1)))
192 ("Subgoal 1.2" :use ((:instance submod-aux1)))
272 (defthmd dw-reduce-aux1
302 ("Subgoal 1.2" :use ((:instance dw-reduce-aux1
316 (defthmd dw-submod-aux1
331 :use ((:instance dw-submod-aux1
573 (defthm mod-reduce-aux1
624 ("Subgoal 1.2.2'" :use ((:instance mod-reduce-aux1
649 ("Subgoal 1.2.2'" :use ((:instance mod-reduce-aux1
674 ("Subgoal 1.2.2'" :use ((:instance mod-reduce-aux1