# Generated by tools/translator: qualified upstream name -> MoonBit name.
ASM_CASES_TAC asm_cases_tac
BOOL_CASES_AX bool_cases_ax
BOOL_CASES_TAC bool_cases_tac
CCONTR ccontr
COND_ABS cond_abs
COND_CASES_TAC cond_cases_tac
COND_CLAUSES cond_clauses
COND_DEF cond_def
COND_ELIM_CONV cond_elim_conv
COND_ELIM_THM cond_elim_thm
COND_EXPAND cond_expand
COND_ID cond_id
COND_RAND cond_rand
COND_RATOR cond_rator
COND_SWAP cond_swap
CONTRAPOS_CONV contrapos_conv
CONTRAPOS_THM contrapos_thm
DE_MORGAN_THM de_morgan_thm
EQ_EXT eq_ext
ETA_AX eta_ax
ETA_CONV eta_conv
EXCLUDED_MIDDLE excluded_middle
EXISTS_BOOL_THM exists_bool_thm
EXISTS_NOT_THM exists_not_thm
EXISTS_THM exists_thm
FORALL_BOOL_THM forall_bool_thm
FORALL_NOT_THM forall_not_thm
FUN_EQ_THM fun_eq_thm
LEFT_EXISTS_IMP_THM left_exists_imp_thm
LEFT_FORALL_OR_THM left_forall_or_thm
LEFT_IMP_FORALL_THM left_imp_forall_thm
LEFT_OR_FORALL_THM left_or_forall_thm
MONO_COND mono_cond
NOT_CLAUSES not_clauses
NOT_EXISTS_THM not_exists_thm
NOT_FORALL_THM not_forall_thm
NOT_IMP not_imp
REFUTE_THEN refute_then
RIGHT_EXISTS_IMP_THM right_exists_imp_thm
RIGHT_FORALL_OR_THM right_forall_or_thm
RIGHT_IMP_EXISTS_THM right_imp_exists_thm
RIGHT_OR_FORALL_THM right_or_forall_thm
SELECT_AX select_ax
SELECT_CONV select_conv
SELECT_REFL select_refl
SELECT_RULE select_rule
SELECT_UNIQUE select_unique
SKOLEM_THM skolem_thm
SKOLEM_THM_GEN skolem_thm_gen
TAUT taut
UNIQUE_SKOLEM_ALT unique_skolem_alt
UNIQUE_SKOLEM_THM unique_skolem_thm
bool_INDUCT bool_induct
bool_RECURSION bool_recursion
dest_cond dest_cond
dest_select dest_select
inductive_type_store inductive_type_store
is_cond is_cond
is_select is_select
mk_cond mk_cond
mk_select mk_select
new_type_definition new_type_definition
the_type_definitions the_type_definitions
