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