Pretty Number Source # | |

## Instance details |

Pretty Name Source # | |

## Instance details |

Pretty Formula_data Source # | |

## Instance details |

Pretty General_function Source # | |

## Instance details |

Pretty General_data Source # | |

## Instance details |

Pretty General_term Source # | |

## Instance details |

Pretty Include Source # | |

## Instance details |

Pretty Principal_symbol Source # | |

## Instance details |

Pretty New_symbol_record Source # | |

## Instance details |

Pretty Inference_info Source # | |

## Instance details |

Pretty Status_value Source # | |

## Instance details |

Pretty Inference_status Source # | |

## Instance details |

Pretty Inference_item Source # | |

## Instance details |

Pretty Formula_item Source # | |

## Instance details |

Pretty Info_item Source # | |

## Instance details |

Pretty Useful_info Source # | |

## Instance details |

Pretty Creator_source Source # | |

## Instance details |

Pretty Theory_name Source # | |

## Instance details |

Pretty Theory Source # | |

## Instance details |

Pretty File_source Source # | |

## Instance details |

Pretty External_source Source # | |

## Instance details |

Pretty Intro_type Source # | |

## Instance details |

Pretty Internal_source Source # | |

## Instance details |

Pretty Parent_info Source # | |

## Instance details |

Pretty Inference_record Source # | |

## Instance details |

Pretty DAG_source Source # | |

## Instance details |

Pretty Source Source # | |

## Instance details |

Pretty Defined_term Source # | |

## Instance details |

Pretty Defined_functor Source # | |

## Instance details |

Pretty Defined_infix_pred Source # | |

## Instance details |

Pretty Defined_predicate Source # | |

## Instance details |

Pretty Defined_proposition Source # | |

## Instance details |

Pretty Untyped_atom Source # | |

## Instance details |

Pretty Atom Source # | |

## Instance details |

Pretty Defined_type Source # | |

## Instance details |

Pretty Unary_connective Source # | |

## Instance details |

Pretty Assoc_connective Source # | |

## Instance details |

Pretty Binary_connective Source # | |

## Instance details |

Pretty FOF_quantifier Source # | |

## Instance details |

Pretty TH1_unary_connective Source # | |

## Instance details |

Pretty THF_unary_connective Source # | |

## Instance details |

Pretty THF_pair_connective Source # | |

## Instance details |

Pretty TH0_quantifier Source # | |

## Instance details |

Pretty TH1_quantifier Source # | |

## Instance details |

Pretty THF_quantifier Source # | |

## Instance details |

Pretty Literal Source # | |

## Instance details |

Pretty Disjunction Source # | |

## Instance details |

Pretty CNF_formula Source # | |

## Instance details |

Pretty FOF_formula_tuple Source # | |

## Instance details |

Pretty FOF_sequent Source # | |

## Instance details |

Pretty TFF_let_term Source # | |

## Instance details |

Pretty TFF_conditional_term Source # | |

## Instance details |

Pretty FOF_function_term Source # | |

## Instance details |

Pretty FOF_term Source # | |

## Instance details |

Pretty FOF_system_term Source # | |

## Instance details |

Pretty FOF_defined_plain_term Source # | |

## Instance details |

Pretty FOF_defined_atomic_term Source # | |

## Instance details |

Pretty FOF_defined_term Source # | |

## Instance details |

Pretty FOF_plain_term Source # | |

## Instance details |

Pretty FOF_system_atomic_formula Source # | |

## Instance details |

Pretty FOF_defined_infix_formula Source # | |

## Instance details |

Pretty FOF_defined_plain_formula Source # | |

## Instance details |

Pretty FOF_defined_atomic_formula Source # | |

## Instance details |

Pretty FOF_plain_atomic_formula Source # | |

## Instance details |

Pretty FOF_atomic_formula Source # | |

## Instance details |

Pretty FOF_infix_unary Source # | |

## Instance details |

Pretty FOF_unary_formula Source # | |

## Instance details |

Pretty FOF_quantified_formula Source # | |

## Instance details |

Pretty FOF_unitary_formula Source # | |

## Instance details |

Pretty FOF_binary_assoc Source # | |

## Instance details |

Pretty FOF_binary_nonassoc Source # | |

## Instance details |

Pretty FOF_binary_formula Source # | |

## Instance details |

Pretty FOF_logic_formula Source # | |

## Instance details |

Pretty FOF_formula Source # | |

## Instance details |

Pretty TCF_quantified_formula Source # | |

## Instance details |

Pretty TCF_logic_formula Source # | |

## Instance details |

Pretty TCF_formula Source # | |

## Instance details |

Pretty TFF_xprod_type Source # | |

## Instance details |

Pretty TFF_mapping_type Source # | |

## Instance details |

Pretty TFF_atomic_type Source # | |

## Instance details |

Pretty TFF_unitary_type Source # | |

## Instance details |

Pretty TFF_monotype Source # | |

## Instance details |

Pretty TF1_quantified_type Source # | |

## Instance details |

Pretty TFF_top_level_type Source # | |

## Instance details |

Pretty TFF_subtype Source # | |

## Instance details |

Pretty TFF_typed_atom Source # | |

## Instance details |

Pretty TFF_formula_tuple Source # | |

## Instance details |

Pretty TFF_sequent Source # | |

## Instance details |

Pretty TFF_let_formula_binding Source # | |

## Instance details |

Pretty TFF_let_formula_defn Source # | |

## Instance details |

Pretty TFF_let_formula_defns Source # | |

## Instance details |

Pretty TFF_let_term_binding Source # | |

## Instance details |

Pretty TFF_let_term_defn Source # | |

## Instance details |

Pretty TFF_let_term_defns Source # | |

## Instance details |

Pretty TFF_let Source # | |

## Instance details |

Pretty TFF_conditional Source # | |

## Instance details |

Pretty TFF_unary_formula Source # | |

## Instance details |

Pretty TFF_typed_variable Source # | |

## Instance details |

Pretty TFF_variable Source # | |

## Instance details |

Pretty TFF_quantified_formula Source # | |

## Instance details |

Pretty TFF_unitary_formula Source # | |

## Instance details |

Pretty TFF_binary_assoc Source # | |

## Instance details |

Pretty TFF_binary_nonassoc Source # | |

## Instance details |

Pretty TFF_binary_formula Source # | |

## Instance details |

Pretty TFF_logic_formula Source # | |

## Instance details |

Pretty TFF_formula Source # | |

## Instance details |

Pretty TFX_logic_formula Source # | |

## Instance details |

Pretty TFX_formula Source # | |

## Instance details |

Pretty THF_tuple Source # | |

## Instance details |

Pretty THF_sequent Source # | |

## Instance details |

Pretty THF_binary_type Source # | |

## Instance details |

Pretty THF_unitary_type Source # | |

## Instance details |

Pretty THF_top_level_type Source # | |

## Instance details |

Pretty THF_subtype Source # | |

## Instance details |

Pretty THF_typeable_formula Source # | |

## Instance details |

Pretty THF_type_formula Source # | |

## Instance details |

Pretty THF_let_defn_LHS Source # | |

## Instance details |

Pretty THF_let_plain_defn Source # | |

## Instance details |

Pretty THF_let_quantified_defn Source # | |

## Instance details |

Pretty THF_let_defn Source # | |

## Instance details |

Pretty THF_let_defns Source # | |

## Instance details |

Pretty THF_let Source # | |

## Instance details |

Pretty THF_conditional Source # | |

## Instance details |

Pretty THF_conn_term Source # | |

## Instance details |

Pretty THF_function Source # | |

## Instance details |

Pretty THF_atom Source # | |

## Instance details |

Pretty THF_unary_formula Source # | |

## Instance details |

Pretty THF_typed_variable Source # | |

## Instance details |

Pretty THF_variable Source # | |

## Instance details |

Pretty THF_quantification Source # | |

## Instance details |

Pretty THF_quantified_formula Source # | |

## Instance details |

Pretty THF_unitary_formula Source # | |

## Instance details |

Pretty THF_binary_tuple Source # | |

## Instance details |

Pretty THF_binary_pair Source # | |

## Instance details |

Pretty THF_binary_formula Source # | |

## Instance details |

Pretty THF_logic_formula Source # | |

## Instance details |

Pretty THF_formula Source # | |

## Instance details |

Pretty Formula_role Source # | |

## Instance details |

Pretty Annotations Source # | |

## Instance details |

Pretty CNF_annotated Source # | |

## Instance details |

Pretty FOF_annotated Source # | |

## Instance details |

Pretty TCF_annotated Source # | |

## Instance details |

Pretty TFF_annotated Source # | |

## Instance details |

Pretty TFX_annotated Source # | |

## Instance details |

Pretty THF_annotated Source # | |

## Instance details |

Pretty TPI_annotated Source # | |

## Instance details |

Pretty Annotated_formula Source # | |

## Instance details |

Pretty SystemComment Source # | |

## Instance details |

Pretty DefinedComment Source # | |

## Instance details |

Pretty Comment Source # | |

## Instance details |

Pretty TPTP_input Source # | |

## Instance details |

Pretty TPTP Source # | |

## Instance details |

Pretty BASIC_SPEC Source # | |

## Instance details |

Pretty Sign Source # | |

## Instance details |

Pretty Symbol Source # | |

## Instance details |