A  
ABDRULE [Sigs]  
ABDUCER [Sigs]  
B  
BasicType [Utilsigs] 
Most types for use in containers, maps and other stuff must provide the
above essential methods.

D  
DEFS [Sigs] 
Inductive definitions signature.

H  
HashedType [Hashset]  
I  
I [VarManager]  
N  
NODE [Sigs] 
Proof node signature.

O  
OrderedContainer [Utilsigs] 
A (persistent) ordered container, generalising the standard
Set container.

OrderedMap [Utilsigs] 
An ordered map, extending the standard
Map module.

P  
PROOF [Sigs] 
Proof signature.

PROOFRULE [Sigs]  
PROVER [Sigs]  
S  
S [Sl_unify]  
S [VarManager]  
S [Containers] 
The signature of the containers collection.

S [Hashset] 
The output signature of the functor
Hashset.Make .

SEQTACTICS [Sigs]  
SEQUENT [Sigs] 
Sequent signature used as input to most functors in Cyclist.

SubstSig [VarManager] 