## 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