Utils

Multihole_Context

Ground_MCtxt

Bot_Terms

Saturation

Rewriting

LV_to_GTT

NF

Tree_Automata_Derivation_Split

TA_Clousure_Const

Type_Instances_Impl

NF_Impl

Context_Extensions

FOR_Certificate

Lift_Root_Step

Context_RR2

GTT_RRn

FOL_Extra

FOR_Semantics

FOR_Check

FOR_Check_Impl