canonicalise | |
1 (Function) | Twee.Term |
2 (Function) | Twee.Base |
cat | Twee.Pretty, Twee.Base |
certify | Twee.Proof |
cfg_accept_term | Twee |
cfg_all_lemmas | Twee.Proof |
cfg_always_simplify | Twee |
cfg_complete_subsets | Twee |
cfg_cp_sample_size | Twee |
cfg_critical_pairs | Twee |
cfg_depthweight | Twee.CP |
cfg_dupcost | Twee.CP |
cfg_dupfactor | Twee.CP |
cfg_funweight | Twee.CP |
cfg_ground_join | Twee.Join |
cfg_ground_proof | Twee.Proof |
cfg_join | Twee |
cfg_lhsweight | Twee.CP |
cfg_max_cp_depth | Twee |
cfg_max_critical_pairs | Twee |
cfg_no_lemmas | Twee.Proof |
cfg_proof_presentation | Twee |
cfg_renormalise_percent | Twee |
cfg_renormalise_threshold | Twee |
cfg_rhsweight | Twee.CP |
cfg_set_join | Twee.Join |
cfg_set_join_goals | Twee |
cfg_show_instances | Twee.Proof |
cfg_show_uses_of_axioms | Twee.Proof |
cfg_simplify | Twee |
cfg_use_colour | Twee.Proof |
cfg_use_connectedness_in_ground_joining | Twee.Join |
cfg_use_connectedness_standalone | Twee.Join |
cfg_varweight | Twee.CP |
char | Twee.Pretty, Twee.Base |
checkCompleteness | Twee |
checkOrder | Twee.Join |
checkProvedGoal | Twee.Proof |
checkTask | Twee.Task |
children | Twee.Term, Twee.Base |
Chr | Twee.Pretty, Twee.Base |
clearMessages | Twee |
close | Twee.Term, Twee.Base |
collate | Twee.Utils |
colon | Twee.Pretty, Twee.Base |
comma | Twee.Pretty, Twee.Base |
complete | Twee |
complete1 | Twee |
completePure | Twee |
con | Twee.Term, Twee.Base |
Config | |
1 (Type/Class) | Twee.Proof |
2 (Data Constructor) | Twee.Proof |
3 (Type/Class) | Twee.CP |
4 (Data Constructor) | Twee.CP |
5 (Type/Class) | Twee.Join |
6 (Data Constructor) | Twee.Join |
7 (Type/Class) | Twee |
8 (Data Constructor) | Twee |
configIsComplete | Twee |
Cong | Twee.Proof |
cong | Twee.Proof |
congPath | Twee.Proof |
conj | Twee.Constraints |
Cons | Twee.Term, Twee.Base |
consider | Twee |
considerUsing | Twee |
ConsP | Twee.CP |
ConsSym | Twee.Term, Twee.Base |
Constant | Twee.Constraints |
ConstantOf | Twee.Base |
contradictory | Twee.Constraints |
cp_eqn | Twee.CP |
cp_proof | Twee.CP |
cp_top | Twee.CP |
CriticalPair | |
1 (Type/Class) | Twee.CP |
2 (Data Constructor) | Twee.CP |
curried | Twee.Pretty, Twee.Base |