Lines Matching refs:arith
15 new_parent `arith`;;
28 (theorem `arith` `plus_0_2`);
29 (theorem `arith` `plus_1_2`);
30 (theorem `arith` `plus_2_2`);
31 (theorem `arith` `plus_3_2`);
32 (theorem `arith` `plus_0_10`);
33 (theorem `arith` `plus_1_10`);
34 (theorem `arith` `plus_2_10`);
35 (theorem `arith` `plus_3_10`);
36 (theorem `arith` `plus_4_10`);
37 (theorem `arith` `plus_5_10`);
38 (theorem `arith` `plus_6_10`);
39 (theorem `arith` `plus_7_10`)