Index of types
Index of values
Index of modules
Core
Types defition
Formula
Propositional formula
Automaton
Automaton's functions
Print
Printing system
Read
Reading system
Simulate
Simulation calculus
Stable
Stable calculus
Show_stable
Stable calculus