Term_Context

Basic_Utils

Ground_Terms

FSet_Utils

Ground_Ctxt

Ground_Closure

Horn_Inference

Horn_List

Horn_Fset

Tree_Automata

Tree_Automata_Det

Tree_Automata_Complement

Tree_Automata_Pumping

Myhill_Nerode

GTT

GTT_Compose

GTT_Transitive_Closure

Pair_Automaton

AGTT

RRn_Automata

RR2_Infinite

Tree_Automata_Abstract_Impl

Tree_Automata_Class_Instances_Impl

Tree_Automata_Impl

RR2_Infinite_Q_infinity

Regular_Relation_Abstract_Impl

Regular_Relation_Impl