| /dports/math/eprover/eprover-E-2.0/EXAMPLE_PROBLEMS/TPTP/ |
| H A D | SET844-1.p | 40 ( ~ c_in(V_B,V_A,tc_set(T_a))
44 ( c_lessequals(V_x,c_Zorn_Osucc(V_S,V_x,T_a),tc_set(tc_set(T_a))) )).
47 ( ~ c_in(V_x,c_Zorn_OTFin(V_S,T_a),tc_set(tc_set(T_a)))
48 | c_in(c_Zorn_Osucc(V_S,V_x,T_a),c_Zorn_OTFin(V_S,T_a),tc_set(tc_set(T_a))) )).
51 ( ~ c_lessequals(V_Y,c_Zorn_OTFin(V_S,T_a),tc_set(tc_set(tc_set(T_a))))
52 | c_in(c_Union(V_Y,tc_set(T_a)),c_Zorn_OTFin(V_S,T_a),tc_set(tc_set(T_a))) )).
55 ( ~ c_in(V_m,c_Zorn_OTFin(V_S,T_a),tc_set(tc_set(T_a)))
56 | ~ c_in(V_n,c_Zorn_OTFin(V_S,T_a),tc_set(tc_set(T_a)))
58 | c_lessequals(V_n,V_m,tc_set(tc_set(T_a))) )).
61 ( c_in(v_m,c_Zorn_OTFin(v_S,t_a),tc_set(tc_set(t_a))) )).
[all …]
|
| /dports/math/eprover/eprover-E-2.0/EXAMPLE_PROBLEMS/TPTP/Axioms/ |
| H A D | MSC001-2.ax | 130 ( ~ c_in(c_minus(V_A,c_insert(V_a,V_B,T_a),tc_set(T_a)),c_Finite__Set_OFinites,tc_set(T_a))
131 | c_in(c_minus(V_A,V_B,tc_set(T_a)),c_Finite__Set_OFinites,tc_set(T_a)) )).
134 ( ~ c_in(c_minus(V_A,V_B,tc_set(T_a)),c_Finite__Set_OFinites,tc_set(T_a))
135 | c_in(c_minus(V_A,c_insert(V_a,V_B,T_a),tc_set(T_a)),c_Finite__Set_OFinites,tc_set(T_a)) )).
138 ( ~ c_in(c_Pow(V_A,T_a),c_Finite__Set_OFinites,tc_set(tc_set(T_a)))
143 | c_in(c_Pow(V_A,T_a),c_Finite__Set_OFinites,tc_set(tc_set(T_a))) )).
614 ( c_uminus(V_A,tc_set(T_a)) != c_uminus(V_B,tc_set(T_a))
618 ( ~ c_lessequals(c_uminus(V_A,tc_set(T_a)),c_uminus(V_B,tc_set(T_a)),tc_set(T_a))
623 | c_lessequals(c_uminus(V_A,tc_set(T_a)),c_uminus(V_B,tc_set(T_a)),tc_set(T_a)) )).
652 ( ~ c_in(V_X,V_C,tc_set(T_a))
[all …]
|
| H A D | MSC001-0.ax | 48 …tc_set(tc_Datatype__Universe_Onode(T_a,T_b)),tc_set(tc_Datatype__Universe_Onode(T_a,T_b))),V_s,tc_…
49 …tc_set(tc_Datatype__Universe_Onode(T_a,T_b)),tc_set(tc_Datatype__Universe_Onode(T_a,T_b))),V_r,tc_…
73 …tc_set(tc_Datatype__Universe_Onode(T_a,T_b)),tc_set(tc_Datatype__Universe_Onode(T_a,T_b))),V_r,tc_…
77 …tc_set(tc_Datatype__Universe_Onode(T_a,T_b)),tc_set(tc_Datatype__Universe_Onode(T_a,T_b))),V_s,tc_…
157 ( ~ c_in(V_A,c_Finite__Set_OFinites,tc_set(tc_set(T_a)))
162 ( ~ c_in(V_A,c_Finite__Set_OFinites,tc_set(tc_set(T_a)))
417 ( ~ c_less(V_A,V_B,tc_set(T_a))
421 ( ~ c_less(V_A,V_B,tc_set(T_a))
426 | c_less(V_A,V_B,tc_set(T_a))
886 ( class_HOL_Ominus(tc_set(T_1)) )).
[all …]
|
| /dports/sysutils/u-boot-tools/u-boot-2020.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-nanopi-neo2/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-olimex-a20-som-evb/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-olinuxino-lime2/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-olinuxino-lime/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-cubieboard/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-cubieboard2/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-cubox-hummingboard/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-sinovoip-bpi-m3/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-a13-olinuxino/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-sopine/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-rpi/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-qemu-arm64/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-nanopi-r4s/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-nanopi-neo-air/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-wandboard/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-chip/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-clearfog/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-orangepi-zero/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-orangepi-zero-plus/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-orangepi-r1/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|
| /dports/sysutils/u-boot-pine-h64/u-boot-2021.07/tools/buildman/ |
| H A D | control.py | 102 tc_set = set()
104 tc_set.add(toolchains.Select(brd.arch))
105 if len(tc_set) != 1:
108 tc = tc_set.pop()
|