[0]
[1]
[2]
[3]
[4]
[5]
[6]
[9]
[A]
[B]
[C]
[D]
[E]
[F]
[G]
[H]
[I]
[J]
[K]
[L]
[M]
[N]
[O]
[P]
[Q]
[R]
[S]
[T]
[U]
[V]
[W]
[X]
[Y]
[Z]
X
top next
DVp_Null-x
DVp_Null-x_wf
eu-X
eu-X_wf
fps-elim-x
fps-elim-x-add
fps-elim-x-atom
fps-elim-x-elim-x
fps-elim-x-elim-y
fps-elim-x-mul
fps-elim-x-neg
fps-elim-x-one
fps-elim-x-sub
fps-elim-x-zero
fps-elim-x_wf
XMIDDLE
prev top next
Peirce's-law-iff-xmiddle
double-negation-iff-xmiddle
fo-logic-xmiddle
no-uniform-xmiddle
weak-xmiddle
weak-xmiddle_wf
xmiddle
xmiddle-elim
xmiddle-elim2
xmiddle-implies-stable
xmiddle_wf
XOVER
prev top next
exact-xover
exact-xover_wf
find-xover
find-xover-print
find-xover_wf
integer-sqrt-xover
XXANTI
prev top next
xxanti_sym
xxanti_sym_functionality_wrt_breqv
xxanti_sym_wf
XXCONNEX
prev top next
xxconnex
xxconnex_functionality_wrt_breqv
xxconnex_iff_trichot
xxconnex_iff_trichot_a
xxconnex_wf
XXEQUIV
prev top next
xxequiv_rel
xxequiv_rel_wf
XXIRREFL
prev top next
xxirrefl
xxirrefl_wf
XXLINORDER
prev top next
xxlinorder
xxlinorder_wf
XXORDER
prev top next
xxorder
xxorder_eq_order
xxorder_functionality_wrt_breqv
xxorder_split
xxorder_wf
XXREFL
prev top next
xxrefl
xxrefl_functionality_wrt_breqv
xxrefl_wf
XXST
prev top next
xxst_anti_sym
xxst_anti_sym_wf
XXSYM
prev top next
xxsym
xxsym_functionality_wrt_breqv
xxsym_wf
XXSYMMETRIZE
prev top next
xxsymmetrize
xxsymmetrize_wf
XXTRANS
prev top next
xxtrans
xxtrans_functionality_wrt_breqv
xxtrans_imp_sp_trans
xxtrans_wf
XXX
prev top
test_xxx