Library CFG.Base
- Base Library for ICL
- Size recursion
- Iteration
- Decidability
- Lists
- Filter
- Element removal
- Cardinality
- Duplicate-free lists
- Power lists
- Finite closure iteration
- Deprecated names, defined for backward compatibilitly
Library CFG.Lists
Library CFG.Definitions
Library CFG.Symbols
Library CFG.Derivation
Library CFG.Dec_Empty
Library CFG.Dec_Word
Library CFG.ElimE
Library CFG.ElimU
Library CFG.Inlining
- Substitution in grammars
- Elimination of a deterministic rule
- Elimination of a list of deterministic rules